Name des Moduls | [50820] Logik und Beweisbarkeit | Bezeichnung des Moduls | FMI-IN0082 |
Studiengang | [079] - Informatik | ECTS Punkte | 6 |
Arbeitsaufwand für Selbststudium | 105 | Häufigkeit des Angebotes (Modulturnus) | alle 2 Jahre (ab Sommersemester) |
Arbeitsaufwand in Präsenzstunden | 75 | Dauer des Moduls | 1 |
Arbeitsaufwand Summe (Workload) | 180 | ||
Modul-Verantwortliche/r | Martin Mundhenk |
Voraussetzung für die Vergabe von Leistungspunkten (Prüfungsform) | Klausur oder mündliche Prüfung |
Empfohlene Literatur | van Dalen, Dirk: Logic and Structure. Springer Verlag, 2004 Mendelson, Elliot: Introduction to Mathematical Logic. Chapman & Hall, 2001 Ebbinghaus, H.D.; Flum, J.; Thomas, W.: Einführung in die mathematische Logik. Spektrum Akademischer Verlag, 2007 |
Voraussetzung für die Zulassung zum Modul | keine |
Empfohlene bzw. erwartete Vorkenntnisse | Grundbegriffe der Logik |
Art des Moduls (Pflicht-, Wahlpflicht- oder Wahlmodul) | - 079 M.Sc. Informatik (PO-V. 2016): Wahlpflichtmodul (TIA; Vertiefung ALG; Mathematik) |
Zusammensetzung des Moduls / Lehrformen (V, Ü, S, Praktikum, …) | 5 SWS Vorlesung/Übung |
Inhalte | Logik wird von ihrer mathematischen Seite betrachtet. Es wird ein Beweissystem (z.B. Hilbert-Kalkül oder natürliches Schließen) vorgestellt. Korrektheit und Vollständigkeit des Beweissystems werden für Aussagen- und Prädikatenlogik nachgewiesen (Vollständigkeitssatz von Gödel). Die Grenzen dieser Beweissysteme werden aufgezeigt (Unvollständigkeitssatz von Gödel). |
Lern- und Qualifikationsziele |
|
Voraussetzung für die Zulassung zur Modulprüfung | Die Kriterien (z.B. 50% der erreichbaren Punkte aus den Übungsaufgaben) werden zu Beginn der Veranstaltung bekanntgegeben |