Kenntnis von Konzepten und Beherrschung von Grundtechniken im Bereich der Modallogik und verwandter Logiken. Zu diesem Zweck werden vorallem adäquate mathematische Werkzeuge erabeitet und grundlegende Fertigkeiten (z.B. Induktionsbeweise, Korrekheitsbeweise, formale Evaluation in unterschiedlichen semantischen Strukturen) trainiert. Anderseits wird auch ein Vertändnis von Grundlagenprobleme der formallogischen Modellierung wichtiger Konzepte der Informatik angestrebt.
Einführung in die Modallogik unter besonderer Berücksichtigung der Epistemische Logik (Wissenslogiken), intuitionistischer Logik, mehrwertiger logiken, inklusive Fuzzylogiken. Dabei werden eine Reihe einschlägiger Ergebnisse der Bewesitheorie und formalen Semantik (z.B. Korrektheit, Vollständigkeit, und Komplexität von Logiken und Kalkülen) erarbeitet. Darüberhinaus werden auch Grundlagenprobleme der formallogischen Modellierung wichtiger Konzepte der Informatik besprochen.
Siehe http://www.logic.at/lvas/185249/
ETCS-Breakdown:
3 ETCS = 90 Stunden
Erstes Treffen:
Freitag, 7.Oktober, 11:00 (pktl!), Seminaraum "von Neumann", Favoritenstraße 9, Erdgeschoß, Zugang vom Hof
Beurteilungsgrundlage sind Anzahl und Qualität der eingesandten Lösungen zu Übungsbeispielen, die zu jeder Vorlesungseinheit bereitgestellt werden.
Grundkenntnisse der klassischen Prädikatenlogik erster Stufe werden vorausgesetzt.