|
Albert-Ludwigs-Universität Freiburg |
| Institut für mathematische Logik und Grundlagen der Mathematik |
| Homepage | Institut | Personen | Vorlesungen | Preprints | Links |
Die Vorlesung führt in die Begriffe und Methoden der mathematischen Logik ein. In erster Linie werden Themenkreise behandelt, die für die Informatik von Bedeutung sind.
Übungsblätter des aktuellen Semesters