Logik in der Informatik
Prof. Dr. Martin Grohe
Logbuch zur
Vorlesung Logik in der Informatik
Di, 17.10.06:
Organisatorisches. Kap.1, S.1-13.
Do, 19.10.06:
Kap.1, S.13-22.
Di, 24.10.06:
Kap.2, S.23-33.
Do, 26.10.06:
Kap.2, S.34-41.
Di, 31.10.06:
Kap.2, S.41-44; Kap.3, S.45-46.
Do, 2.11.06:
Kap.3, S.47-52.
Di, 7.11.06:
Kap.3, S.53. Kap.4, S.54-57.
Do, 9.11.06:
Kap.4, S.58-63.
Di, 14.11.06:
Kap.4, S.64-68.
Do, 16.11.06:
Kap.4, S.68-71.
Di, 21.11.06:
Kap.4, S.72-77.
Do, 23.11.06:
Kap.4, S.78-79, Kap.5, S.80-84.
Di, 28.11.06:
Kap.5, S.84-89.
Do, 30.11.06:
Kap.5, S.89-92. Kap.6, S.93-95
Di, 5.12.06:
Kap.6, S.96-102.
Do, 7.12.06:
Kap.6, S.102-106.
Di, 12.12.06:
Kap.6, S.106-110.
Do, 14.12.06:
Kap.6, S.111-115.
Di, 19.12.06:
Kap.6, S.115-121.
Do, 21.12.06:
Kap.6, S.121-124.
Di, 9.1.07:
Kap.7, S.125-127.
Do, 11.1.07:
Kap.7, S.127-131.
Di, 16.1.07:
Kap.7, S.131-132.
Do, 18.1.07:
Kap.7, S.132-134.
Di, 23.1.07:
Kap.8, S.135-143.
Do, 25.1.07:
Kap.8, S.144-147.
Di, 30.1.07:
Kap.8, S.148-152.
Do, 1.2.07:
Kap.8, S.152-158.
Di, 6.2.07:
Kap.8, S.158-165.
Do, 8.2.07:
Kap.8, S.165-166. Kap.9, S.169-173.
Di, 13.2.07:
Kap.9, S.174-178.
Last modified: Tue Feb 6 15:05:57 CET 2007
Martin Grohe