Modul

Siehe Teilleistung

Nach Abschluss des Moduls verfügen Studierende über folgende Kompetenzen. Sie …

• kennen und verstehen die vorgestellten Konzept
• können die vorgestellten Methoden und Kalküle anwenden,
• kennen die Relevanz der vorgestellten Konzepte und Methoden für Anwendungen der Informatik und können einen Bezug zu praktischen Fragestellungen herstellen,
• können aus den theoretischen Grenzen der Entscheidbarkeit bzw. Axiomatisierbarkeit Schlüsse auch für praktische Fragestellungen ziehen.

Siehe Teilleistung

Diese Modul vermittelt weitergehenden und vertiefte Kenntnisse und Kompetenzen im Bereich der Formalen Logik; es baut auf dem Stammmodul „Formale Systeme“ auf. Den Fokus des Moduls „Formale Systeme II – Theorie“ bilden dabei theoretische Konzepte und Methoden (während sich das Modul „Formale Systeme II – Anwendung“ auf deren Anwendung konzentriert.

Thema sind theoretische Konzepte und Methoden (bspw.Kalküle) aus Teilbereichen der Formalen Logik, wie beispielsweise:

• Dynamische Logik (Entscheidbarkeit der Propositional Dynamic Logic, relative Vollständigkeit der First-order Dynamic Logic),
• Separation Logic
• Theorieschließen
• Hybride Modelle
• Mengenlehre (Zermelo-Fraenkel-Mengenlehre und ihre Grenzen)
• Drei- und mehrwertige Logik
• Nicht-Axiomatisierbarkeit der Arithmetik, Gödelscher Unvollständigkeitssatz

Siehe Teilleistung

Der Aufwand setzt sich zusammen aus:

22,5h = 15 * 1,5h Vorlesung (Präsenz)

12h = 8 * 1,5h Übungen (Präsenz)

70h Vor- und Nachbereitung der Vorlesung