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