703522 Automatisches Beweisen

Sommersemester 2008 | Stand: 01.09.2008 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Clemens Ballarin Univ.-Prof. Dr. Clemens Ballarin
703522
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
Voraussetzung für die Anmeldung ist der positive Abschluss von Modul 1 Spezifikation und Verifikation.
Beginn: KW 10
http://cl-informatik.uibk.ac.at/teaching/ss08/atp
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Do 06.03.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 13.03.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 03.04.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 10.04.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 17.04.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 24.04.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 08.05.2008
 14.00 - 16.00 rr 20 rr 20 Barrierefrei
Do 15.05.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 29.05.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 05.06.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 12.06.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Do 19.06.2008
 14.00 - 16.00 rr 20 rr 20 Barrierefrei
Do 26.06.2008
 14.00 - 16.00 rr 22 rr 22
Do 03.07.2008
 14.00 - 16.00 HS 10 HS 10 Barrierefrei
Di 30.09.2008
 09.00 - 11.00 HS 10 HS 10 Barrierefrei 2nd exam