EN
Modul
Formale Systeme II: Theorie [M-INFO-100841]
Leistungspunkte
5Turnus
Jedes SommersemesterDauer
1 SemesterSprache
DeutschLevel
4Version
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Teilleistungen
Identifier | Name | LP |
---|---|---|
T-INFO-101378 | Formale Systeme II: Theorie | 5 |
Erfolgskontrolle(n)
Siehe Teilleistung
Qualifikationsziele
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.
Voraussetzungen
Siehe Teilleistung
Inhalt
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
Empfehlungen
Siehe Teilleistung
Arbeitsaufwand
Der Gesamtarbeitsaufwand für dieses Modul beträgt 150 Stunden.
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