Mathematische Logik
SS 2019
Termine
| Art | Termin | Ort | Veranstalter | ||||
|---|---|---|---|---|---|---|---|
| V3 | Di | 12:45 | – | 14:00 | 1420|002 (Roter Hörsaal) | Vorlesung (Beginn 9. April) | E. Grädel |
| Fr | 12:30 | – | 13:30 | 1420|002 (Roter Hörsaal) | Vorlesung (Beginn 5. April) | E. Grädel | |
| Fr | 13:30 | – | 14:00 | 1420|002 (Roter Hörsaal) | Diskussion | E. Grädel | |
| Ü2 | Di | 16:30 | – | 18:00 | 1010|107 (III) | Gruppe 10 | L. Mrkonjić |
| Mi | 14:30 | – | 16:00 | 1132|303 (HKW 2) | Gruppe 12 | F. Bloemers | |
| Mi | 16:30 | – | 18:00 | 2350|314.1 (AH III) | Gruppe 13 | M. Hoelzel | |
| Do | 10:30 | – | 12:00 | 2356|055 (5055) | Gruppe 2 | R. Wilke | |
| Do | 10:30 | – | 12:00 | 2353|116 (i7 Seminarraum) | Gruppe 11 | R. Westermann | |
| Do | 12:30 | – | 14:00 | 2350|111 (AH II) | Gruppe 9 | B. Pago | |
| Do | 12:30 | – | 14:00 | 2353|116 (i7 Seminarraum) | Gruppe 4 | T. Andres | |
| Fr | 08:30 | – | 10:00 | 2350|028 (AH I) | Gruppe 1 | A. Kusidlo | |
| Fr | 10:30 | – | 12:00 | 2350|028 (AH I) | Gruppe 5 | O. Gaul | |
| Fr | 10:30 | – | 12:00 | 2350|314.1 (AH III) | Gruppe 14 | K. Dannert | |
| Fr | 14:30 | – | 16:00 | 2356|052 (5052) | Gruppe 7 | A. Ponjavić | |
Sprechstunde
Die Sprechstunde zur Vorlesung findet bei Benedikt Pago (Informatikzentrum, E1, Raum 4114a) statt. Dort können insbesondere korrigierte Übungen abgeholt werden, die im Tutorium nicht mehr vorliegen.Skript
- Vollständiges Skript [pdf] [pdf-2up]
- Kapitel 0: Notation [pdf]
- Kapitel 1: Aussagenlogik [pdf]
- Kapitel 2: Syntax und Semantik der Prädikatenlogik [pdf]
- Kapitel 3: Definierbarkeit in der Prädikatenlogik [pdf]
- Kapitel 4: Vollständigkeitssatz, Kompaktheitssatz und Unentscheidbarkeit der Prädikatenlogik [pdf]
- Kapitel 5: Modallogik, temporale Logiken und monadische Logik [pdf]
Übungen
- Übung 1 [pdf]
- Übung 2 [pdf], Präsenzübung 2 [pdf]
- Übung 3 [pdf], Präsenzübung 3 [pdf]
- Übung 4 [pdf], Präsenzübung 4 [pdf]
- Übung 5 [pdf], Präsenzübung 5 [pdf]
- Übung 6 [pdf], Präsenzübung 6 [pdf]
- Übung 7 [pdf], Präsenzübung 7 [pdf]
- Übung 8 [pdf], Präsenzübung 8 [pdf]
- Übung 9 [pdf], Präsenzübung 9 [pdf]
- Übung 10 [pdf], Präsenzübung 10 [pdf]
- Übung 11 [pdf], Präsenzübung 11 [pdf]
- Übung 12 [pdf], Präsenzübung 12 [pdf]
- Probeklausur (2018) [pdf]
- (Wiederholungsaufgaben für letzte Präsenzübung) [pdf]
Prüfungsleistung
Die Prüfung für das Modul Mathematische Logik findet in Form einer Klausur statt (Bearbeitungszeit 120 Minuten).
Für die Zulassung zur Klausur genügen 50% der Übungspunkte.
Erster Prüfungstermin: Samstag, 24.08.2019, 11:30 Uhr.
Zweiter Prüfungstermin: Montag, 23.09.2019, 14:30 Uhr.
Inhalt
- Aussagenlogik (Grundlagen, algorithmische Fragen, Kompaktheit, Resolution, Sequenzenkalkül)
- Strukturen, Syntax und Semantik der Prädikatenlogik
- Einführung in weitere Logiken (modale und temporale Logiken, Logiken höherer Stufe)
- Auswertungsspiele, Modellvergleichsspiele
- Beweiskalküle, Termstrukturen, Vollständigkeitssatz
- Kompaktheitssatz und Anwendungen
- Entscheidbarkeit, Unentscheidbarkeit und Komplexität von logischen Spezifikationen
Lernziele
Die Studierenden sollen Sachverhalte in geeigneten logischen Systemen formalisieren und mit diesen Formalisierungen umgehen, grundlegende Begriffe und Methoden der mathematischen Logik verstehen (Syntax und Semantik logischer Systeme, Folgerungsbeziehung, Erfüllbarkeit, Beweiskalküle, Definierbarkeit, etc.), die Ausdrucksstärke und Grenzen logischer Systeme beurteilen können sowie einige der fundamentalen Resultate der mathematischen Logik des 20. Jahrhunderts (z.B. Vollständigkeitssatz, Kompaktheitssatz, Unentscheidbarkeit der Prädikatenlogik) kennenlernen und ihre Bedeutung für Mathematik und Informatik verstehen.Literatur
| [1] | S. Burris. Logic for Mathematics and Computer Science. Prentice Hall, 1998. |
| [2] | R. Cori and D. Lascar. Logique mathématique. Masson, 1993. |
| [3] | H. Ebbinghaus, J. Flum, and W. Thomas. Einführung in die mathematische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1986. |
| [4] | M. Huth and M. Ryan. Logic in Computer Science. Modelling and reasoning about systems. Cambridge University Press, 2000. |
| [5] | B. Heinemann and K. Weihrauch. Logik für Informatiker. Teubner, 1992. |
| [6] | H. K. Büning and T. Lettman. Aussagenlogik: Deduktion und Algorithmen. Teubner, 1994. |
| [7] | S. Popkorn. First Steps in Modal Logic. Cambridge University Press, 1994. |
| [8] | W. Rautenberg. Einführung in die Mathematische Logik. Vieweg, 1996. |
| [9] | U. Schöning. Logik für Informatiker. Spektrum Verlag, 1995. |
| [10] | D. van Dalen. Logic and Structure. Springer, Berlin, Heidelberg, 1983. |
Zuordnung
- Informatik (B.Sc.)/4. Semester
- Mathematik (B.Sc.)/Mathematik (WS)/4. Semester
- Mathematik (B.Sc.)/Mathematik (WS)/6. Semester
- Mathematik (B.Sc.)/Mathematik (SS)/5. Semester
- Informatik (S II)
- Mathematik (S II)/Hauptstudium/B: Algebra und Grundlagen der Mathematik
Voraussetzungen
- Mathematische Grundkenntnisse aus den Vorlesungen Diskrete Strukturen und Lineare Algebra
- Grundkenntnisse über Berechenbarkeit und Komplexität
Nachfolgeveranstaltungen
- Algorithmische Modelltheorie
- Mathematische Logik II
- Quantum Computing
- Logik und Spiele
- weitere Spezialvorlesungen zur Mathematischen Logik
Wiederholung
Jedes Jahr im Sommersemester
Rückfragen
Benedikt Pago, Erich Grädel