|
Modallogik (ML)7.5 ECTS (englische Bezeichnung: Modal Logic)
(Prüfungsordnungsmodul: Modallogik)
Modulverantwortliche/r: Lutz Schröder Lehrende:
Lutz Schröder
Startsemester: |
SS 2022 | Dauer: |
1 Semester | Turnus: |
unregelmäßig |
Präsenzzeit: |
56 Std. | Eigenstudium: |
169 Std. | Sprache: |
Deutsch und Englisch |
Lehrveranstaltungen:
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:
Schlüsselwörter: Logik, Semantik, Deduktion, Programmverifikation
www: https://www8.cs.fau.de/teaching/ml/
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Modallogik)
Dieses Modul ist daneben auch in den Studienfächern "Artificial Intelligence (Master of Science)", "Data Science (Bachelor of Science)", "Informatik (Bachelor of Science)", "Mathematik (Bachelor of Science)" verwendbar. Details
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
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|