Logik und formale Systeme

Dozent: Prof. Dr. Heribert Vollmer

Frequenz: jährlich im Sommersemester, empf. 2. Semester

Veranstaltungsart: Vorlesung und Übung (2V + 2Ü, 5 LP)

Prüfung: Klausur

Das Modul vermittelt grundlegende Kenntnisse über mathematische Logik und ihre Anwendungen in der Informatik. Nach erfolgreichem Abschluss der LV können die Studierenden die mathematischen Grundlagen des logischen Denkens und Schließens beurteilen. Sie schätzen Anwendungen in der Informatik ein. Sie entwickeln Formalisierungen von Aufgaben, Problemen und Strukturen der Informatik in der Sprache der Logik (vornehmlich Prädikatenlogik).

Gliederung:

• Aussagenlogik
• Hornformeln
• Resolution
• Kalkül des Natürlichen Schließens
• Prädikatenlogik der 1. Stufe
• Formalisieren, Axiomatisieren und Theorien
• Gödelscher Vollständigkeitssatz
• Endlichkeitssatz
• Sätze von Löwenheim-Skolem
• Modallogik
• Logik der zweiten Stufe

Die Abschlussprüfung des Moduls ist eine schriftliche Klausur über 90 Minuten.

Termin

Die Prüfungstermine finden Sie im zentralen Webauftritt der Universität (siehe Link unten).

Anmeldung

Je nach Prüfungsordnung ist eine Anmeldung im QIS erforderlich (siehe Link unten). Zur Teilnahme als Zulassungsauflage benötigen Sie keine Anmeldung.

Hilfsmittel

Erlaubtes Hilfsmittel ist ein (beidseitig) beschriebenes oder bedrucktes DIN A4-Blatt. Sie benötigen kein eigenes Papier!

Klausurbonus

Die Modalitäten für das Erreichen eines Klausurbonus finden Sie im Foliensatz im Stud.IP.

Studienleistung

Falls Ihre Prüfungsordnung eine Studienleistung für dieses Modul vorsieht, bestehen Sie diese, wenn 50 % der Punkte in der Hausübung erreicht wurden.