LFU:online

Logik ist definiert als das Studium des Prinzip des Schließens. Die Vorlesung erweitert die einführende Logikvorlesung im Grundstudium. Der Stoff des Bachelorvorlesung wird vorausgesetzt. Die Vorlesung ist Teil des Wahlmoduls "Automatisches Beweisen".

Automatisches Theorembeweisen (mit Gleichheit) für Prädikatenlogik, Resolution und Paramodulation, Anwendung von Automatischen Theorembeweisern für Prädikatenlogik

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

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')