Modallogik (ML)7.5 ECTS
(englische Bezeichnung: Modal Logic)
(Prüfungsordnungsmodul: Vertiefungsrichtung Theoretische Informatik)

Lehrveranstaltungen:

• • Modallogik
    (Vorlesung mit Übung, 4 SWS, Fatemeh Seifan, Mo, 14:15 - 15:45, 00.131-128; Do, 8:15 - 9:45, 00.131-128; Raum 00.131, Cauerstraße 11)

Inhalt:

• Relationale Modallogiken

• Ausdrücksstärke modaler Logiken

• Vollständigkeitstheorie

• Entscheidbarkeit und Komplexität modaler Logiken

• Modaler mu-Kalkül

• Koalgebraische Logik

Lernziele und Kompetenzen:

Lernziele und Kompetenzen:
Die Studierenden kennen die theoretischen Grundlagen der Modallogik und erklären diese.

Die Studierenden formulieren modallogische Aussagen über relationalen Strukturen und sind in der Lage, diese Aussagen algorithmisch zu behandeln indem sie beispielsweise die Erfüllbarkeit einer Formel oder die Erfülltheit einer Formel in einer bestimmten Struktur überprüfen.

Die Studierenden erklären die Theorie und die Algorithmen, die solchen Methoden zugrunde liegen, und entwickeln selbstständig einfache Einsichten, die auf diesen Prinzipien beruhen. Außerdem übertragen die Studierenden die Prinzipien auf andere Anwendungskontexte.

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:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik)

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:
In die Prüfungsnote gehen auch die Übungsleistungen ein.

Erstablegung: SS 2018, 1. Wdh.: WS 2018/2019 (nur für Wiederholer)

1. Prüfer:

Lutz Schröder