Logik und formale Systeme

  • Moduldetails

    Dozent: Prof. Dr. Heribert Vollmer

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

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

    Prüfung: Klausur

  • Vorlesungsinhalte

    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
  • Informationen zur Prüfung

    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.

Materialien

Alle Materialien finden Sie im Stud.IP.

Prüfungsanmeldung

Aktuelle Prüfungstermine
Online-Prüfungsanmeldung