Logbuch zur Vorlesung Theoretische Informatik I

Do, 23.10.03: Organisatorisches (Webseiten), Folien Kapitel 1
Di, 28.10.03: Folien Kapitel 2, S.25-53
Do, 30.10.03: Folien Kapitel 2, S.54-59, Übungsblatt 1 ausgegeben
Di, 4.11.03: Folien Kapitel 2, S.60-66
Do, 6.11.03: Folien Kapitel 2, S.67-68 und Kapitel 3 S.69-75. Übungsblatt 2 ausgegeben.
Leider zahlreiche Ungenauigkeiten in der Vorlesung. Saubere Beweise für die beiden Hauptbeispiele finden sich hier.
Di, 11.11.03: Folien Kapitel 3, S.74-94
Do, 13.11.03: Folien Kapitel 3, S.95-107. Übungsblatt 3 ausgegeben
Di, 18.11.03: Folien Kapitel 3, S.108-127.
Do, 20.11.03: Folien Kapitel 3, S.141-148.
Di, 25.11.03: Folien Kapitel 3, S.128-140.
Do, 27.11.03: Vorlesung wegen Streiks ausgefallen. Übungsblatt 4 (Abgabe in der Woche 8.-12.12.2003) ist hier zu finden.
Di, 2.12.03: Vorlesung wegen Dies Academicus ausgefallen.
Do, 4.12.03: Vorlesung wegen Streiks ausgefallen. Übungsblatt 5 (Abgabe in der Woche 5.-9.1.2004) ist hier zu finden.
Di, 9.12.03: Öffentliche Vorlesung auf dem Alexanderplatz über Theorie und Praxis des Erfüllbarkeitsproblems.
Do, 11.12.03: Vorlesung wegen Streiks ausgefallen.
Di, 16.12.03: Vorlesung wegen Streiks ausgefallen.
Do, 18.12.03: Vorlesung wegen Streiks ausgefallen. Übungsblatt 6 (Abgabe am 15.1.2004) finden Sie hier.
Di, 6.1.03: Folien Kapitel 4, S.184-201.
Do, 8.1.03: Folien Kapitel 4, S.201a -204, Übungsblatt 7 ausgegeben
Di, 13.1.03: Folien Kapitel 5, S.225-253.
Zusatzvorlesung Mi, 14.1.03: Folien Kapitel 4, S.205-224. Resolution im Schnelldurchlauf, im wesentlichen ohne Beweise.
Do, 15.1.03: Folien Kapitel 5, S.254-273, Übungsblatt 8 ausgegeben
Di, 20.1.03: Folien Kapitel 6, S.275-297.
Do, 22.1.03: Folien Kapitel 6, S.298-307, Übungsblatt 9 ausgegeben
Di, 27.1.03: Folien Kapitel 6, S.308-329.
Do, 29.1.03: Folien Kapitel 6, S.330-343, Übungsblatt 10 ausgegeben
Di, 3.2.03: Folien Kapitel 6, S.344-367.
Do, 5.2.03: Folien Kapitel 6, S.367-371, Kapitel 7, S.372-380.
Di, 10.2.03: Folien Kapitel 7, S.381-415.
Do, 12.2.03: Folien Kapitel 7, S.416-426d.
Di, 17.2.03: Folien Kapitel 7, S.426e-435.

Last modified: Fri Oct 15 14:35:42 CEST 2004
Martin Grohe