Dozent: Herr Dr. Merlin Carl
Tutor: Herr Gabriel Lehericy
E-Mail-Adressen: Vorname.Nachname@uni-konstanz.de
Vorlesungstermin: Mittwoch 11.45-13.15 (D 436).
Hier finden Sie den Eintrag im Vorlesungsverzeichnis mit weiteren Informationen.
Literatur zur Vorlesung
Die Vorlesung wird sich hauptsächlich am Buch "First-Order Logic and Automated Theorem Proving" von M. Fitting orientieren.
Ein weiterer einführender Text zur mathematischen Logik ist das Buch von A. Prestel und C.N. Delzell: "Mathematical Logic and Model Theory. A Brief Introduction."
Informationen zur Benotung
Die Note wird durch eine Abschlussklausur ermittelt. Zum Bestehen außerdem
erforderlich ist das Erreichen von mindestens 50% der Übungspunkte.
Die Klausur findet statt am 02.08.2017 von 11.45-13.15 in Raum D433.