Logik in der Informatik
Prof. Dr. Martin Grohe
Logbuch zur
Vorlesung Theoretische Informatik I
Di, 17.10.06:
Organisatorisches (Webseiten). Kapitel 1, S.1-24.
Do, 19.10.06:
Kapitel 2, S.25-53.
Di, 24.10.06:
Kapitel 2, S.54-72.
Do, 26.10.06:
Kapitel 2, S.73-93.
Di, 31.10.06:
Kapitel 2, S.94-110.
Do, 2.11.06:
Kapitel 2, S.111-122, Kapitel 3, S.123-135.
Di, 7.11.06:
Kapitel 3, S.136-165.
Do, 9.11.06:
Kapitel 3, S.166-189.
Di, 14.11.06:
Kapitel 3, S.190-215.
Do, 16.11.06:
Kapitel 3, S.216-230.
Di, 21.11.06:
Kapitel 3, S.231-251.
Do, 23.11.06:
Kapitel 3, S.252-266, Kapitel 4, S.267-276.
Di, 28.11.06:
Kapitel 4, S.277-289.
Do, 30.11.06:
Kapitel 4, S.290-310.
Di, 5.12.06:
Kapitel 4, S.311-331, allerdings ohne den Korrektheitsbeweis für den DP-Algorithmus.
Do, 7.12.06:
Korrektheitsbeweis für den DP-Algorithmus und Kapitel 4, S.332-343.
Di, 12.12.06:
Kapitel 5, S.344-365.
Do, 14.12.06:
Kapitel 5, S.366-392.
Di, 19.12.06:
Kapitel 5, S.393-397, Kapitel 6, S.398-408.
Do, 21.12.06:
Kapitel 6, S.409-417.
Di, 9.1.07:
Wiederholung: Syntax und Semantik der Logik der 1. Stufe. Kapitel 6, S.418-442.
Do, 11.1.07:
Kapitel 6, S.443-464.
Di, 16.1.07:
Kapitel 6, S.464-484.
Do, 18.1.07:
Kapitel 6, S.485-517.
Di, 23.1.07:
Kapitel 6, S.518-538.
Do, 25.1.07:
Kapitel 7, S.539-563.
Di, 30.1.07:
Kapitel 7, S.564-597.
Do, 1.2.07:
Kapitel 7, S.598-616.
Di, 6.2.07:
Kapitel 7, S.617-648.
Do, 8.2.07:
Kapitel 7, S.649-666.
Di, 13.2.07:
Kapitel 7, S.667-682.
Do, 15.2.07:
Wiederholung.
Last modified: Thu Feb 15 08:17:21 CET 2007
Martin Grohe
