Logik
Modulnummer:
1101110
Leistungspunkte:
6 ECTS
Lehrveranstaltungen:
- Vorlesung Logik und Berechenbarkeit (3 SWS)
- Übung Logik und Berechenbarkeit (2 SWS)
Prüfung:
Klausur (120 min) oder mündliche Prüfung (20 min)
Prüfungsvorleistungen:
Lösen von Übungsaufgaben
Inhalt:
Mathematische Grundlagen:
- Mengen, Funktionen, Relationen
- Formulieren von Aussagen in natürlicher Sprache (explizite und implizite Definitionen)
- Direkte und indirekte Beweise
- Vollständige Induktion
- Wörter und formale Sprachen
Aussagenlogik:
- Syntax
- Semantik
- Folgern und Ableiten
- Cut-Ableiten
Prädikatenlogik erster Stufe:
- Syntax
- Semantik
- Folgern und Ableiten
- Resolution, Herbrandmodelle
Logisches Programmieren:
- Syntax und Semantik der Sprache PROLOG
- Funktionsweise eines PROLOG-Interpreters
- Negation as Failure und Closed-World-Assumption
- Anwendungsgebiete
Weitere Logik-Kalküle:
- Modale Logik
- Temporale Logik