703640 VO Interaktives Beweisen
Sommersemester 2019 | Stand: 29.03.2019 | LV auf Merkliste setzen703640
VO 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
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Do 07.03.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 14.03.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 21.03.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 28.03.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 04.04.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 11.04.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 02.05.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 09.05.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 16.05.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 23.05.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 06.06.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 13.06.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
|
Do 27.06.2019
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |