Logik
Aktuelles
[26.10.2016] Die Klausureinsicht findet am Mittwoch, den 02.11.16, in Raum O27/531 von 10 bis 10:30 Uhr statt.
[26.10.2016] Die Ergebnisse der zweiten Klausur wurden 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
Skript
Literatur
- Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
Übungen
Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt.
Dozent
Vorlesungszeiten
Mo. 12 - 14 Uhr, Raum H20 (O27)
Aktuelles
Die zweite Klausur findet am Dienstag, den 18.10. von 16-17 Uhr ausschließlich im H20 statt.