703608 Automatisches Theorembeweisen

Sommersemester 2017 | Stand: 12.05.2017 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703608
Automatisches Theorembeweisen
VO 2
4
wöch.
2-Jahresrhythmus
Englisch

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

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.

http://cl-informatik.uibk.ac.at/teaching/ss17/autres
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 06.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 13.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 20.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 27.03.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 03.04.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 24.04.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 08.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 15.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 22.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 29.05.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 12.06.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 19.06.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei
Mo 26.06.2017
 08.15 - 12.00 HS 11 HS 11 Barrierefrei