Institute of Theoretical Computer Science
- 1:
Teaching.- 1.1:
Vorlesungen. - 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archive.
- 1.8.1:
WS 2011/2012. - 1.8.2: SS 2011.
- 1.8.3: WS 2010/2011.
- 1.8.4: SoSe 2010.
- 1.8.5: WS 2009/2010.
- 1.8.6: SoSe 2009.
- 1.8.7: WS 2008/2009.
- 1.8.7.1:
SAT-Solving + CSP (Projektarbeit). - 1.8.7.2: Funktionale Programmierung in Haskell.
- 1.8.7.3: Meilensteine der Informatik.
- 1.8.7.4: Einfuehrung in die Bioinformatik.
- 1.8.7.5: Formale Grundlagen der Informatik.
- 1.8.7.6: Algorithmen zur Sequenzanalyse.
- 1.8.7.7: Algorithmen und Datenstrukturen.
- 1.8.7.8: Quantenrechner.
- 1.8.7.9: Höhere Algorithmik.
- 1.8.7.1:
- 1.8.8: SoSe 2008.
- 1.8.9: WS 2007/2008.
- 1.8.1:
- 1.1:
- 2: Research.
- 3: TheorieTag.
- 4: Members.
- 5: Adresse.
- 6: Intern.
- 7: Imprint.
WS 2008/2009
Die Wiederholungsklausur "Formale Grundlagen der Informatik" findet
am 14.04.2009 im H22 von 10:30 - 12:30 Uhr statt.
Die Ergebnisse der Nachklausur "Formale Grundlagen der Informatik"
und "Theoretische Informatik" vom 14.04.2009 sind 
hier verfügbar. Die Einsicht der Klausur findet am Di. 21.04.2009 von 13:00 bis 14:00 Uhr im Raum 531/O27 statt.