|
Modallogik (ML)7.5 ECTS (englische Bezeichnung: Modal Logic)
Modulverantwortliche/r: Daniel Hausmann Lehrende:
Daniel Hausmann
Startsemester: |
SS 2017 | 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, Daniel Hausmann, Mi, Do, 16:15 - 17:45, Raum n.V.; Voraussichtliche Termine SS17: Mi, 16:15 und Do, 16:15 jeweils in 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 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, 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 2017, 1. Wdh.: WS 2017/2018 (nur für Wiederholer)
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|