703641 PS Interaktives Beweisen
Sommersemester 2019 | Stand: 29.03.2019 | LV auf Merkliste setzen703641
PS 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 | ||
|
Mi 06.03.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 13.03.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 20.03.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 27.03.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 03.04.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 10.04.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 08.05.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 15.05.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 22.05.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 29.05.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 05.06.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 12.06.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||
|
Mi 19.06.2019
|
14.15 - 16.30 | rr 22 rr 22 | ||