703641 Interaktives Beweisen

Sommersemester 2015 | Stand: 14.04.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
703641
Interaktives Beweisen
PS 3
6
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 dies en Logiken durchführen sowie in interaktiven Beweisern verifizieren.

Vertiefendes Verständnis des interaktiven Beweisens durch Training mit weit verbreitetem Theorembeweiser; Übungen mittels Fallstudien von Programmen aus unterschiedlichen Bereichen; Bearbeitung eines größeren Verifikationsprojekts

Proseminar

Immanente Prüfungscharakter

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
Mo 09.03.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 16.03.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 23.03.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 13.04.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 20.04.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 27.04.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 04.05.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 11.05.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 18.05.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 01.06.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 08.06.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 15.06.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei
Mo 22.06.2015
 08.15 - 11.00 rr 20 rr 20 Barrierefrei