703640 Interaktives Beweisen

Wintersemester 2016/2017 | Stand: 19.10.2016 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
Fr 07.10.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 14.10.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 21.10.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 28.10.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 04.11.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 11.11.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 18.11.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 25.11.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 02.12.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 09.12.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 16.12.2016
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 13.01.2017
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 20.01.2017
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 27.01.2017
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei
Fr 03.02.2017
 12.15 - 14.00 HSB 9 HSB 9 Barrierefrei