703640 Interaktives Beweisen

Sommersemester 2015 | Stand: 10.09.2015 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
703640
Interaktives Beweisen
VO 2
4
wöch.
2-Jahresrhythmus
Englisch
Absolventinnen und Absolventen dieses Moduls sind mit der Verifikation von Spezifikationen vertraut. Sie kennen ein- und höherstufige Logiken und können strukturierte Beweise in diesen Logiken durchführen sowie in interaktiven Beweisern verifizieren.

Aufbau eines LCF-Beweisers; Formales Beweisen; Strukturiertes Beweisen und Beweisskripte; höherstufige Logik: Induktion, rekursive Datenstrukturen und rekursive Funktionen; Automatisierung; Terminierungsbeweise; Korrektheit von Programmen

Vorlesungen

schriftliche Prüfung

Wird im Kurs bekannt gegeben

Keine

Beginn: siehe Termine
http://cl-informatik.uibk.ac.at/teaching/
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Di 03.03.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 10.03.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 17.03.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 24.03.2015
 10.15 - 12.00 rr 22 rr 22
Di 14.04.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 21.04.2015
 08.15 - 10.00 3W04 3W04 Barrierefrei
Di 28.04.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 05.05.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 12.05.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 19.05.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 26.05.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 02.06.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 09.06.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 16.06.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Di 23.06.2015
 10.15 - 12.00 3W04 3W04 Barrierefrei
Fr 25.09.2015
 13.00 - 16.30 HSB 9 HSB 9 Barrierefrei third exam