Logik in der Informatik
Prof. Dr. Martin Grohe
Institut für Informatik
Logbuch zur
Vorlesung Theoretische Informatik I
Di, 19.10.04:
Organisatorisches (Webseiten), Folien Kapitel 1.
Do, 21.10.04:
Folien Kapitel 2, S.26-47.
Übungsblatt 1
(Abgabe 28.10.2004) verteilt
Di, 26.10.04:
Folien Kapitel 2, S.48-64.
Do, 28.10.04:
Folien Kapitel 2, S.65-70b.
Übungsblatt 2
(Abgabe 4.11.2004) verteilt
Di, 2.11.04:
Folien Kapitel 2, S.70c-74f.
Do, 4.11.04:
Folien Kapitel 2, S.74g-91.
Übungsblatt 3
(Abgabe 11.11.2004) verteilt.
Achtung:
In der Version des Übungsblattes, die in der Vorlesung verteilt wurde, ist ein Fehler in Aufgabe 1(b); die Summation muss bei
k=0
beginnen.
Di, 9.11.04:
Folien Kapitel 3, S.92-121.
Do, 11.11.04:
Folien Kapitel 3, S.122-142.
Übungsblatt 4
(Abgabe 18.11.2004) verteilt
Di, 16.11.04:
Folien Kapitel 3, S.140-157.
Do, 18.11.04:
Folien Kapitel 3, S.158-167.
Übungsblatt 5
(Abgabe 25.11.2004) verteilt
Di, 23.11.04:
Folien Kapitel 3, S.168-177.
Do, 25.11.04:
Folien Kapitel 3, S.178-190.
Di, 30.11.04:
Folien Kapitel 3, S.191-201 und Kapitel 4, S.202-208.
Do, 2.12.04:
Folien Kapitel 4, S.209-213.
Übungsblatt 6
(Abgabe 9.12.2004) verteilt.
Di, 7.12.04:
Folien Kapitel 4, S.214-220 ohne den Beweis des Vollständigkeitssatzes.
Do, 9.12.04:
Beweis des Vollständigkeitssatzes, Folien Kapitel 4, S.221-227.
Übungsblatt 7
(Abgabe 16.12.2004) verteilt
Di, 14.12.04:
Folien Kapitel 4, S.228-235.
Do, 16.12.04:
Folien Kapitel 4, S.236-242.
Di, 4.1.05:
Folien Kapitel 5, S.243-263.
Do, 6.1.05:
Folien Kapitel 5, S.264-286.
Übungsblatt 8
(Abgabe 13.1.2005) verteilt.
Di, 11.1.05:
Folien Kapitel 5, S.287-293 und Kapitel 6, S.294-304.
Do, 13.1.05:
Folien Kapitel 6, S.305-319.
Übungsblatt 9
(Abgabe 20.1.2005) verteilt.
Di, 18.1.05:
Folien Kapitel 6, S.319-334.
Do, 20.1.05:
Folien Kapitel 6, S.335-347.
Übungsblatt 10
(Abgabe 27.1.2005) verteilt.
Di, 25.1.05:
Folien Kapitel 6, S.348-359.
Do, 27.1.05:
Folien Kapitel 6, S.360-386.
(Zusätzliches) Übungsblatt 11
(Abgabe 3.2.2005) verteilt.
Di, 1.2.05:
Folien Kapitel 6, S.387-393 und Kapitel 7, 394-403.
Do, 3.2.05:
Kapitel 7, 404-425.
(Zusätzliches) Übungsblatt 12
(Abgabe 10.2.2005) verteilt.
Di, 8.2.05:
Folien Kapitel 7, S.426-479.
Do, 10.2.05:
Folien Kapitel 7, S.479-483.
Di, 15.2.05:
Folien Kapitel 7, S.484-486.
Do, 17.2.05:
Folien Kapitel 7, S.487. Wiederholung der Vorlesung.
Die Zusammenfassungen aller Vorlesungen finden sie
hier
(als tar-Archiv).
Last modified: Tue Feb 15 12:22:54 CET 2005
Martin Grohe