Logik
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Prädikatenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Grundlagen von PROLOG
Literatur
- Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
Übungen
Die Übungen werden über moodle organisiert.
Dozent
Vorlesungszeiten
Mo. 12 - 14 Uhr, Raum H20 (O27)