Logik
Aktuelles
Die Einsicht zur Logiknachklausur findet am Freitag, 14.10.2011, 10.00 - 10.30 Uhr im O27-531 statt.
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Prädikatenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Literatur:
- Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
Dozent
Vorlesungszeiten
Montag, 12:30 - 14:00 Uhr in H12
Übungsleiter
Tutorien (gerade KW)
Di 10:00 - 12:00 in O27/2202,
Katharina Krammer
Di 10:00 - 12:00 in O27/2203,
Sebastian Steinau
Mi 10:00 - 12:00 in O27/2201,
Mirco Lüdeke
Mi 10:00 - 12:00 in O27/2203,
Markus Brenner
Fr 08:00 - 10:00 in O27/3211,
Thai Chung