Modallogik (ML)7.5 ECTS
(englische Bezeichnung: Modal Logic)

Lehrveranstaltungen:

• • Modallogik
    (Vorlesung mit Übung, 4 SWS, Lutz Schröder, Mo, Do, 12:15 - 13:45, 02.133-113)

Empfohlene Voraussetzungen:

Es wird empfohlen, folgende Module zu absolvieren, bevor dieses Modul belegt wird:

Grundlagen der Logik in der Informatik (WS 2021/2022)

Inhalt:

• Relationale Modallogiken

• Ausdrücksstärke

• Aximoatisierung und Vollständigkeit

• Entscheidbarkeit und Komplexität

• Programmverifikation mittels dynamischer und temporaler Logiken

• Modaler mu-Kalkül

• Koalgebraische Logik

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

Die Studierenden geben grundlegede Definitionen, Axiomatisierungen und Resultate aus der Metatheorie der Modallogik wieder.

Anwenden

Die Studierenden führen beispielhaft Beweise in modallogischen Deduktionssystemen und wenden modallogische Schlussfolgerungsalgorithmen korrekt an. Sie instanziieren gängige Vollständigkeitskritierien auf konkrete Modallogiken.

Analysieren

Die Studierenden teilen Logiken gemäß ihrer metalogischen Eigenschaften wie Axiomatisierbarkeit, Entscheidbarkeit oder Komplexität ein; sie wählen für gegebene Anwendungszwecke geeignete Logiken aus.

Erschaffen

Die Studierenden führen selbständig metatheoretische Beweise über Modallogiken.

Lern- bzw. Methodenkompetenz

Die Studierenden erarbeiten selbständig formale Beweise.

Sozialkompetenz

Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.

Literatur:

Sally Popkorn, First Steps in Modal Logic, 314 pages, Cambridge University Press, 1994.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, 554 pages, Cambridge University Press, 2001.
Alexander Chagrov and Michael Zakharyashev, Modal Logic, 605 pages, Oxford University Press, 1997.

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Artificial Intelligence (Master of Science)
   (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Modallogik)
2. Data Science (Bachelor of Science)
   (Po-Vers. 2020w | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Modallogik)
3. Data Science (Bachelor of Science)
   (Po-Vers. 2020w | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Modallogik)
4. Data Science (Bachelor of Science)
   (Po-Vers. 2022s | Gesamtkonto | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Modallogik)
5. Data Science (Bachelor of Science)
   (Po-Vers. 2022s | Gesamtkonto | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Modallogik)
6. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
7. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
8. Informatik (Bachelor of Science)
   (Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Theoretische Informatik | Modallogik)
9. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Modallogik)
10. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
11. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)

Studien-/Prüfungsleistungen:

Modallogik (Prüfungsnummer: 984981)

(englischer Titel: Modal logic)

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet, 7.5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Note der Prüfungsleistung setzt sich zu 50% aus dem Ergebnis einer 30-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Note für die Bearbeitung von fünf Übungsblättern zusammen.

Prüfungssprache: Deutsch und Englisch

Erstablegung: SS 2022, 1. Wdh.: WS 2022/2023

1. Prüfer:

Lutz Schröder