703925 Automatisches Beweisen

Sommersemester 2010 | Stand: 29.07.2010 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703925
Automatisches Beweisen
VO 2
4
wöch.
jährlich
Englisch
automatisches Beweisen in erststufigen und höherstufigen Systemen; Vertiefung des Verständnis zur Logik durch praktisches Training mit weit verbreiteten Theorembeweisern; logische Grundlagen des automatischen Beweisens; Selektieren des geeigneten Werkzeugs des automatischen Beweisens zur Lösung einer spezifischen Aufgabe
Beginn: KW 10
http://cl-informatik.uibk.ac.at/teaching/ss10/ar/
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 10.03.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 17.03.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 24.03.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 14.04.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 21.04.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 28.04.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 05.05.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 12.05.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 19.05.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 26.05.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 02.06.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 09.06.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 16.06.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 23.06.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 30.06.2010
 13.15 - 15.00 HS 10 HS 10 Barrierefrei