Logik
Klausur
Die Klausureinsicht findet am Mittwoch, 26.09.2012, im Raum O27/531 von 10.00 bis 10.30 Uhr statt.
Die Noten sind im LSF eingetragen.
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:00 - 14:00 Uhr in H12
Übungsleiter
Tutorien (wöchentlich ab KW 17)
Di 10:00 - 12:00 in O27/2202,
Markus Brenner
Di 16:00 - 18:00 in O27/545,
Falco Nogatz (ab KW 19)
Mi 10:00 - 12:00 in O27/2201,
Maike Zwerger
Mi 10:00 - 12:00 in O27/2203,
Mirco Lüdeke