Institute of Theoretical Computer Science

Frühere Lehrveranstaltungen

Vorlesungsskripte zum Download
WS 2017/2018
- Einführung in die Bioinformatik
- Algorithmen für schwierige Probleme
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Formale Grundlagen der Informatik
- Zufallsmethoden in der Informatik
- Projekt Algorithmen Engineering
- Seminar Algorithmik
- Seminar Fun with Reductions
- Proseminar Algorithmen
SS 2017
- Algorithmische Spieltheorie
- Berechenbarkeit und Komplexität
- Komplexitätstheorie
- Kryptologie: Algorithmen und Methoden
- Logik
- Scheduling
- Proseminar Algorithmen
- Seminar Algorithmik
- Projekt Algorithm Engineering
WS 2016/2017
- Algorithmen für schwierige Probleme
- Einführung in die Bioinformatik
- Einführung in die Informatik
- Formale Grundlagen der Informatik
- Highlights der Theoretischen Informatik
- Proseminar Algorithmen
- Seminar Algorithmik
SS 2016
- Algorithmen der Bioinformatik
- Algorithmische Spieltheorie
- Berechenbarkeit und Komplexität
- Datenkompression
- Formal Foundtions of Computer Science
- Kryptologie: Algorithmen und Methoden
- Logik
- Proseminar Klassiker der Informatik
- Proseminar Algorithmen
- Projekt Sequenzanalyse
WS 2015/2016
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Formale Grundlagen der Informatik
- Einführung in die Bioinformatik
- Quantum Computing
- SAT Solving
- Proseminar Parametrisierte Algorithmen
- Proseminar Algorithmen
- Seminar Modern C++ Style
- Implementierung von Kompressionsverfahren
SS 2015
- Berechenbarkeit und Komplexität
- Datenkompression
- Einführung in die Informatik
- Kryptologie: Algorithmen und Methoden
- Logik
- Proseminar Algorithmen
WS 2014/2015
- Algorithmen für schwierige Probleme
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Einführung in die Bioinformatik
- Formale Grundlagen der Informatik
- Highlights der Theoretischen Informatik
- Modern C++ Style
- Algorithmische Geometrie
- Proseminar Algorithmen
- Algorithmen der Logik
SS 2014
- Algorithmen der Bioinformatik
- Algorithmische Spieltheorie
- Berechenbarkeit und Komplexität
- Datenkompression
- Komplexitätstheorie
- Kryptologie: Algorithmen und Methoden
- Logik
- Parametrisierte Algorithmen
- Algorithmen der Logik
- Algorithmen für Optimierungsprobleme
- Implementierung von Bioinformatik-Algorithmen
WS 2013/2014
- Algorithmen für schwierige Probleme
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Einführung in die Bioinformatik
- Formale Grundlagen der Informatik
- SAT Solving
- Proseminar Algorithmen
- Algorithmische Geometrie
- Natur-inspirierte Algorithmen
- Neue Programmierkonzepte in C++11
- Algorithmen der Logik
SS 2013
- Datenkompression
- Einführung in die Informatik
- Kryptologie: Algorithmen und Methoden
- Logik
- Quantum Computing
- Klassiker der Informatik
- Algorithmen der Logik
WS 2012/2013
- Algorithmen für schwierige Probleme
- Algorithmen und Datenstrukturen
- Boolesche Funktionen und Schaltkreise
- Formale Grundlagen der Informatik
- Proseminar Algorithmen
- Algorithmen der Logik
SS 2012
- Algorithmen zur Sequenzanalyse
- Berechenbarkeit und Komplexität
- Komplexitätstheorie
- Kryptologie: Algorithmen und Methoden
- Logik
- Praktische Informatik
- SAT Solving
- Proseminar Informationsübertragung
- Seminar Datenkompression
- Unkonventionelle Algorithmen
- Algorithmen der Logik
WS 2011/2012
- Algorithmen der Bioinformatik
- Algorithmen für schwierige Probleme
- Algorithmen und Datenstrukturen
- Einführung in die Bioinformatik
- Formale Grundlagen der Informatik
- Highlights der Theoretischen Informatik
- Proseminar Algorithmen
- Seminar Algorithmische Geometrie
- Projekt Bioinformatik
- Implementierung von web-Suchmaschinen
SS 2011
- Algorithmen der Bioinformatik
- Berechenbarkeit und Komplexität
- Datenkompression
- Kryptologie: Algorithmen und Methoden
- Logik
- SAT Solving
- Proseminar Algorithmen
- Proseminar Informationsübertragung
- Seminar Algorithmen in der Graphentheorie
- Indexing and Compressing the Textual Web
- Projekt SAT-Solving
WS 2010/2011
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Einführung in die Bioinformatik
- Formale Grundlagen der Informatik
- Höhere Algorithmik
- Quantum Computing
- Proseminar Algorithmen
- Seminar: Advanced Data Structures
- Seminar: Probleme in NP
SoSe 2010
- Berechenbarkeit und Komplexität
- Datenkompression
- Komplexitätstheorie
- Kryptologie: Algorithmen und Methoden
- Logik
- Praktische Informatik
- Proseminar Algorithmen
- Seminar Algorithmen in der Graphentheorie
- Seminar Bioinformatik
- Seminar Search Engines
- Projekt SAT-Solving
- Projekt Sequenzanalyse
WS 2009/2010
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Einführung in die Bioinformatik
- Formale Grundlagen der Informatik
- Highlights der Theoretischen Informatik
- Höhere Algorithmik
- Seminar Algorithmische Geometrie
- Praktikum: Datenkompression
- SAT-Solving
- Kryptographie Projekt / Praktikum SS09
SoSe 2009
- Algorithmen der Bioinformatik
- Berechenbarkeit und Komplexität
- Datenkompression
- Kombinatorische Methoden der Informatik
- Kryptologie
- Logik
- SAT Solving
- Proseminar Ideen der Informatik
- Seminar Sequenzanalyse
- Kryptographie Projekt / Praktikum SS09
- Praktikum: Datenkompression
- SAT-Solving + CSP
WS 2008/2009
- Algorithmen und Datenstrukturen
- Algorithmen zur Sequenzanalyse
- Einfuehrung in die Bioinformatik
- Formale Grundlagen der Informatik
- Höhere Algorithmik
- Quantenrechner
- Meilensteine der Informatik
- Funktionale Programmierung in Haskell
- Hauptseminar Datenkompression
- SAT-Solving + CSP (Projektarbeit)
SoSe 2008
- Algorithmen I
- Highlights der Theoretischen Informatik
- Kolmogorov-Komplexität
- Komplexitätstheorie
- Kryptographie
- Theoretische Informatik II
- Proseminar Informationsübertragung
- Hauptseminar Bioinformatik
- Succinct Data Structures and Compressed Suffix Arrays
WS 2007/2008
- Algorithmen II
- Algorithmen der Bioinformatik
  - Dokumente
- Einfuehrung in die Bioinformatik
  - Dokumente
- Formale Grundlagen der Informatik
- Formale Methoden der Informatik (WiWi)
- Kryptographie Praktikum WS07/08
- Quantum Computing
- Theoretische Informatik I
- Proseminar Graphalgorithmen