|
|
Artificial Intelligence (Master of Science) >>
|
Modallogik (ML)7.5 ECTS
(englische Bezeichnung: Modal Logic)
(Prüfungsordnungsmodul: Modallogik)
Modulverantwortliche/r: Lutz Schröder
Lehrende:
Lutz Schröder
| Start semester: |
SS 2022 | Duration: |
1 semester | Cycle: |
unregelmäßig |
| Präsenzzeit: |
56 Std. | Eigenstudium: |
169 Std. | Language: |
Deutsch und Englisch |
Lectures:
Empfohlene Voraussetzungen:
It is recommended to finish the following modules before starting this module:
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:
Keywords: Logik, Semantik, Deduktion, Programmverifikation
www: https://www8.cs.fau.de/teaching/ml/
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Artificial Intelligence (Master of Science)
(Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Modallogik)
Dieses Modul ist daneben auch in den Studienfächern "Data Science (Bachelor of Science)", "Informatik (Bachelor of Science)", "Informatik (Master 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
|
|
|