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.8: SoSe 2008.
- 1.8.9: WS 2007/2008.
- 1.8.9.1:
Algorithmen II. - 1.8.9.2: Algorithmen der Bioinformatik.
- 1.8.9.3: Einfuehrung in die Bioinformatik.
- 1.8.9.4: Formale Grundlagen der Informatik.
- 1.8.9.5: Formale Methoden der Informatik (WiWi).
- 1.8.9.6: Kryptographie Praktikum WS07/08.
- 1.8.9.7: Proseminar Graphalgorithmen.
- 1.8.9.8: Quantum Computing.
- 1.8.9.9: Theoretische Informatik I.
- 1.8.9.1:
- 1.8.1:
- 1.1:
- 2: Research.
- 3: TheorieTag.
- 4: Members.
- 5: Adresse.
- 6: Intern.
- 7: Imprint.
Formale Grundlagen der Informatik
Inhalt
Boolesche Funktionen und Schaltkreise, Binäre Relationen,
Informations- und Codierungstheorie, Grammatiken und Automaten.
Infos zur Vorlesung
Die erste Vorlesung findet am Donnerstag 18.10.2007 statt;
die ersten Übungen beginnen ab dem 23.10.2007.
Lösungen der Klausur vom 29.02.2008.
Die korrigierten Prüfungsergebnisse gibt es hier: korrigierte Ergebnisse
Die Ergebnisse der Klausur vom 31.03.2008.
Die Einsicht der Klausur findet am 16.04.2008 von 13-15 Uhr in O27/531 statt.
Literatur
Dozent
Prof. Dr. Uwe SchöningVorlesungszeiten
Montag 12:00-14:00 Uhr
Donnerstag 14:00-16:00 Uhr
jeweils im O28/H22
Übungsleiter
Henning Wunderlich
Tutorien
Es werden 6 Tutorien angeboten:
Die 12:00-14:00 Uhr im O27/123,
Die 16:00-18:00 Uhr im O27/123,
Mi 08:00-10:00 Uhr im O28/H21,
Fri 08:00-10:00 Uhr im O27/123,
Fri 08:00-10:00 Uhr im O27/2203,
Fri 12:00-14:00 Uhr im O27/2203
LSF-Eintrag