Logik
Aktuelles
[12.10.2015]
Die zweite Logikprüfung findet am Dienstag, den 13. Oktober von 16-17 Uhr im H20 statt. Die Einsicht wird am Montag, den 19.Oktober von 12:30-13:00 Uhr in Raum 531/o27 stattfinden.
[07.08.2015]
Klausureinsicht ist am Donnerstag, den 13. August von 10:30 - 11 Uhr im H21.
[03.08.2015]
Die Logikprüfung findet am 04. August von 14-15 Uhr im H22 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
Übungen
Der Ablauf der Übungen wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschließend über Rubikon möglich sein.
Dozent
Vorlesungszeiten
Mo. 12 - 14 Uhr, Raum H20 (o27)
Die Vorlesung startet am 13.4.
Übungsleiter
Tutorien
Die. 10-12, o27-2202 (Jan Lorenz)
Mi. 10-12, o27-2203 (Eugen Nabiev)
Do. 14-16, o27-123 (Angelika Graf)
Fr. 8-10, o27-3211 (Julian Nickerl)
Für den Übungsbetrieb bitte im Rubikon anmelden!