Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage unterschiedliche Motive für die Erweiterung, Modifizierung, Verfeinerung und Verallgemeinerung der klassischen Logik zu erkennen. Insbesondere können erfolgreiche Absolventen Begriffe und Techniken der Modallogik anwenden um logisches Schließen zu modellieren, dass sich explizit auf das Wissen oder Fehlen von Wissen von (idealisierten) Agenten bezieht. Sie haben außerdem einen Überblick über die weite und variantenreiche Landschaft nichtklassischer logischer Formalismen.
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.
Diese Jahr findet die LVA ausschließlich online, durch Vorlesungsvideos und Live-Feedbacksessions statt.
Die erste Vorlesungseinheit ist ein Live-Event via ZOOM am 15.März, 14.00 (bis ca 15.30). Der entsprechende Link, so wie alle anderen Details zur LVA, werden im TUWEL-Kurs veröffentlicht werden. (Wenn Sie an diesem Meeting nicht teilnehmen können, aber dennoch diese LVA absolvieren möchten, so informieren Sie mich bitte per Email.)
Bitte registrieren Sie sich, falls Sie Updates bzw. weitere Information erhalten wollen. (Die TISS-Registration verpflichtet nicht zur tatsächlichen Teilnahme.)
Die Standardform der Beurteilung besteht in der Bewertung von Lösungen zu laufend erteilten Übungsaufgaben. Bei Bedarf kann dies durch Zusatzaufgaben oder eine Online-Prüfung am Semesterende ergänzt werden.
Die Anmeldung im ist unverbindlich und dient lediglich der Kommunikation via TISS-Nachrichten.
Kenntnisse in klassischer Aussagen und Prädikatenlogik