Logik
Aktuelles
Vorlesungsstart ist der 22. April 2013
Klausur
Die Klausur findet am Freitag, 19.07.2012, im Hörsaal H4/5 statt. Sie beginnt um 12.00 Uhr. Für die Bearbeitung haben Sie 120 Minuten Zeit. Bitte erscheinen Sie ein paar Minuten eher, damit wir pünktlich starten können.
Als Hilfsmittel ist ein doppelseitig beschriebenes DIN A4 Blatt zugelassen.
Mittlerweile ist die Klausur korrigiert und die Noten im LSF eingetragen. Die Klausureinsicht ist am Montag, den 29.7. von 13:00 - 13:30Uhr (Nachnamen von A-J) und 13:30 - 14:00 (Nachnamen von K-Z) in o27/531.
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
Montags, 12:00 - 14:00 Uhr in o27/H20
Vorlesungsstart: 22.4.2013
Übungsleiter
Tutorien (wöchentlich)
Sebastian Steinau (Di. 10-12, o27-2202)
Andreas Krause (Fr. 8-10, o27-3211)
Katharina Krammer (Mi. 10-12, o27-2203)
Markus Brenner (Mi. 10-12, o27-2201)
Für den Übungsbetrieb bitte im Rubikon anmelden!