Albert-Ludwigs-Universität Freiburg Mathematische Fakultät Institut für mathematische Logik und Grundlagen der Mathematik

Vorlesung "Mathematische Logik für Informatiker" - SS 2002

M. Ziegler

Zeit und Ort: Mi 15-17, Fr 11-13, HS 00-036, Gebäude 101, Georges-Köhler-Allee.
Übungen dazu: Y. Chen

Die Vorlesung wendet sich an Studenten der Informatik im Hauptstudium. Sie behandelt überwiegend die Aussagenlogik und die Logik der ersten Stufe unter Betonung von Themenkreisen, die für die Informatik wesentlich sind.

Literatur: Uwe Schöning "Logik für Informatiker"

Für zusätzliche Informationen wird empfohlen: Ebbinghaus, Flum, Thomas "Einführung in die Mathematische Logik".

Am 19.Juli findet die Vorlesung nicht statt.