LFU:online

Absolventen und Absolventinnen dieser Lehrveranstaltung kennen verschiedene erst- und höherstufige Logiken sowie deren Vor- und Nachteile. Sie sind vertraut mit geeigneten Kalkülen für das formale Schließen in diesen Logiken.

Semantik und Beweissysteme für Prädikatenlogik mit Gleichheit, Erweiterungen der Prädikatenlogik, wie Modallogik oder zweistufiger Logik, Satz von Herbrand, Curry-Howard Isomorphismus

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung, und aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

703823 Automatisches Theorembeweisen + 703824 Computational Logik kann für das Wahlmodul Automatisches Beweisen (WM 1) verwendet werden. Siehe https://www.uibk.ac.at/informatik/studium/anerkennung.html.de ('Zuordnungsbestätigung')