Albert-Ludwigs-Universität Freiburg
Institut für mathematische Logik und Grundlagen der Mathematik
 
Homepage Institut Personen Vorlesungen Preprints Links

Vorlesung Mathematische Logik für Informatiker im WS 2000/2001

B. Herwig, M. Weyer
Mo 9-11, HS 00-026, Geb. 101,
Mi 10-11, HS 00-006, Geb. 082,
Übung:
Fr 14-16, HS 00-036, Geb. 101,
jeweils Georges-Köhler-Allee.

Die Vorlesung wendet sich an Studierende 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.

Übungsblätter gibt es hier.

Die Klausur fand am Freitag, den 16. Februar 2001 statt.

Literatur:

herwig@ruf.uni-freiburg.de, last changed 23. Februar 2001