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

Lehrveranstaltungen:

• • Modallogik
    (Vorlesung mit Übung, 4 SWS, Daniel Hausmann, Do, 16:15 - 17:45, 0.151-115; Mi, 14:15 - 15:45, 0.111)

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:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik)
2. 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)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Theoretische Informatik)
5. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsmodul Theoretische Informatik)
6. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsmodul Theoretische Informatik)

Studien-/Prüfungsleistungen:

Modallogik (Prüfungsnummer: 984981)

(englischer Titel: Modal Logic)

Prüfungsleistung, mehrteilige Prüfung, benotet, 7.5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
In die Prüfungsnote gehen zu 50% die Leistungen aus der Bearbeitung der Übungsaufgaben ein.

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

1. Prüfer:

Lutz Schröder