Modallogiken (M.Sc.)

Organisatorisches

Dienstag: 10:00 - 12:00 Uhr
Donnerstag: 13:00 - 15:00 Uhr
Erster Termin: 26.10.2010, 10:00 - 12:00 Uhr
Veranstaltungsort: Seminarraum 210 (INF, Am Regenbogen),

Dozenten

Dr. Nils Bulling
Prof. Dr. Jürgen Dix

Zielgruppe

Master, Hauptstudium Informatik/Wirtschaftsinformatik

Einleitung

In dieser Master bzw. Diplom-Vorlesung wird eine moderne Sichtweise auf Modallogik gegeben. Wir stellen kurz die Aussagenlogik vor und führen dann die Modallogik ein. Unser Fokus liegt dabei auf dem semantischen Aspekt und der Verbindung zu relationalen Strukturen. Weiterhin werden Modell-theoretische Eigenschaften behandelt wie zum Beispiel das finite-model property sowie bisimulation. Zusätzlich beschäftigen wir uns mit der Frage der Berechenbarkeit.

Daneben zeigen wir Anwendungen von Modallogik, zum Einen anhand der Dynamic Epistemic Logic, zum Anderen betrachten wir ATL.

Teilnehmende

Bitte registrieren Sie sich für die Vorlesung im StudIP-System.

Voraussetzungen

Informatik 1-3

Downloads

 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019