703608 Automatisches Theorembeweisen

Wintersemester 2013/2014 | Stand: 01.10.2013 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.
jährlich
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/ws13/autres
02.10.2013
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 02.10.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 09.10.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 16.10.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 23.10.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 30.10.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 06.11.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 13.11.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 20.11.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 27.11.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 04.12.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 11.12.2013
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 08.01.2014
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 15.01.2014
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 22.01.2014
 15.15 - 17.00 3W03 3W03 Barrierefrei
Mi 29.01.2014
 15.15 - 17.00 3W03 3W03 Barrierefrei