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.
WICHTIG: Diese LVA findet in leicht geblockter Form an 9-10 Montagen (jeweils 13-15h) statt.
Erste Einheit: Montag 9.3., 13.00, Seminarraum Gödel
Bitte registrieren Sie sich, falls Sie Updates bzw. weitere Information erhalten wollen. (Die TISS-Registration verpflichtet nicht zur tatsächlichen Teilnahme.)
laufende Übungsbeispiele
Kenntnisse in klassischer Aussagen und Prädikatenlogik