|
Albert-Ludwigs-Universität Freiburg |
| Institut für mathematische Logik und Grundlagen der Mathematik |
| Homepage | Institut | Personen | Vorlesungen | Preprints | Links |
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.
Zu den Übungsblättern:
Literatur:
Ebbinghaus/Flum/Thomas: Einführung in die mathematische Logik
Schöning: Logik für Informatiker