703641 Interaktives Beweisen
Wintersemester 2016/2017 | Stand: 20.10.2016 | LV auf Merkliste setzen703641
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
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 03.10.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 10.10.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 17.10.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 24.10.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 31.10.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 07.11.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 14.11.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 21.11.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 28.11.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 05.12.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 12.12.2016
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 09.01.2017
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 16.01.2017
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 23.01.2017
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |
|
Mo 30.01.2017
|
14.15 - 17.00 | 3W03 3W03 | Barrierefrei | |