|
Modallogik (ML)7.5 ECTS (englische Bezeichnung: Modal Logic)
Modulverantwortliche/r: Daniel Hausmann Lehrende:
Daniel Hausmann
Startsemester: |
SS 2018 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
56 Std. | Eigenstudium: |
169 Std. | Sprache: |
Deutsch oder Englisch |
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:
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:
Schlüsselwörter: Logik, Semantik
www: https://www8.cs.fau.de/course:ml
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung 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)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|