Mathematische Logik
WS 2007/08
Aktuelles
- Die Vorlesung richtet sich ausschließlich an Studierende im Diplomstudiengang Informatik.
- Die für die Bachelor-Studiengänge Informatik und Mathematik konzipierte Vorlesung wird erstmalig im Sommersemester 2008 gelesen.
Klausur
Die Klausur findet am Dienstag, den 12.02.2008, statt (Beginn: 9:30 Uhr, Bearbeitungszeit 120 Minuten). Es ist keine Anmeldung erforderlich. Wer 180 Übungspunkte (gewichtet) erreicht hat, ist automatisch zur Klausur zugelassen. Im Portal ist die Verteilung auf die Hörsäle (AH II bzw. AH III) einsehbar. In der Klausur darf jeder Teilnehmer ein DIN-A4 Blatt mit eigenen Notizen benutzen. Darüber hinaus sind keine weiteren Hilfsmittel (Skripte, Bücher, Mitschriften, usw.) zugelassen.
Termine
Art | Termin | Ort | Veranstalter | ||||
---|---|---|---|---|---|---|---|
V3 | Di. 10:10 – 11:40 | AH I | Beginn 16. Oktober | E. Grädel, D. Berwanger | |||
Mi. 10:00 – 10:45 | AH I | Beginn 17. Oktober | E. Grädel, D. Berwanger | ||||
Ü1 | Mi. 10:45 – 11:30 | AH I | Zentralübung | E. Grädel, D. Berwanger | |||
Ü2 | Fr. 11:45 – 13:15 | AH I | Gruppe A | D. Fischer | |||
Mo. 10:00 – 11:30 | 5055 | Gruppe B | M. Ummels | ||||
Mo. 11:45 – 13:15 | AH II | Gruppe C | Ł. Kaiser |
Übungen
- Übung 1 [ps] [pdf], Präsenzübung 1 [ps] [pdf]
- Übung 2 [ps] [pdf], Präsenzübung 2 [ps] [pdf]
- Übung 3 [ps] [pdf], Präsenzübung 3 [ps] [pdf]
- Übung 4 [ps] [pdf], Präsenzübung 4 [ps] [pdf]
- Übung 5 [ps] [pdf], Präsenzübung 5 [ps] [pdf]
- Übung 6 [ps] [pdf], Präsenzübung 6 [ps] [pdf]
- Übung 7 [ps] [pdf], Präsenzübung 7 [ps] [pdf]
- Übung 8 [ps] [pdf], Präsenzübung 8 [ps] [pdf]
- Übung 9 [ps] [pdf], Präsenzübung 9 [ps] [pdf]
- Übung 10 [ps] [pdf], Präsenzübung 10 [ps] [pdf]
- Übung 11 [ps] [pdf], Präsenzübung 11 [ps] [pdf]
- Übung 12 [ps] [pdf], Präsenzübung 12 [ps] [pdf]
- Übung 13 [ps] [pdf], Präsenzübung 13 [ps] [pdf]
- Probeklausur [pdf]
Skript
- Kapitel 1: Aussagenlogik [ps] [pdf]
- Kapitel 2: Strukturen und Homomorphismen [ps] [pdf]
- Kapitel 3: Syntax und Semantik der Prädikatenlogik [ps] [pdf]
- Kapitel 4: Modallogik [ps] [pdf]
- Kapitel 5: Definierbarkeit in der Prädikatenlogik [ps] [pdf]
- Kapitel 6: Vollständigkeitssatz, Kompaktheitssatz und Unentscheidbarkeit in der Prädikatenlogik [ps] [pdf]
Inhalt
Einführung
In den letzten zwanzig Jahren hat sich die mathematische Logik stark verändert. Neben den klassischen Fragen nach den Grundlagen der Mathematik und Informatik ("Was ist Wahrheit?", "was ist beweisbar?", "was ist berechenbar?" etc.) stehen heute auch zahlreiche moderne Anwendungen der Logik in der Informatik (etwa in der Verifikation oder im Datenbankbereich) im Zentrum des Interesses. Von einem Grundlagenfach ist die Logik damit auch zu einem Anwendungsfach geworden (Stichwort: Logik als Technologie!)
Es werden drei logische Systeme betrachtet: Aussagenlogik, modale Logiken, und die Prädikatenlogik erster Stufe. Besonderes Gewicht wird auf algorithmische Probleme und grundlegende methodische Aspekte gelegt.
Ziele
- zu lernen, Sachverhalte in geeigneten logischen Systemen zu formalisieren und mit diesen Formalisierungen umzugehen;
- die grundlegenden Begriffe und Methoden der mathematischen Logik zu verstehen (Syntax und Semantik logischer Systeme, Modellbeziehung, Folgerungsbeziehung, Erfüllbarkeit, Beweiskalküle, Definierbarkeit, etc.); die Ausdrucksstärke und Grenzen logischer Systeme beurteilen zu können;
- einige der fundamentalen Resultate der mathematischen Logik des 20. Jahrhunderts (z.B. Vollständigkeitssatz, Kompaktheitssatz, Unentscheidbarkeit der Prädikatenlogik, Gödelsche Unvollständigkeitssätze) kennenzulernen und ihre Bedeutung für Mathematik und Informatik zu verstehen.
Literatur
Einführende Literatur
Weiterführende Literatur
Zuordnung
- Informatik (D)/Grundstudium
Voraussetzungen
- Lineare Algebra
Nachfolgeveranstaltungen
- Entscheidbarkeit und Komplexität von Logik-Problemen
- Mathematische Logik II
- Komplexitätstheorie
- weitere Spezialvorlesungen zur Mathematischen Logik
Wiederholung
Ab 2008 jedes Jahr im Sommersemester
Rückfragen
Dietmar Berwanger, Diana Fischer, Tobias Ganzow, Łukasz Kaiser, Michael Ummels