703522 Automatisches Beweisen
Sommersemester 2009 | Stand: 10.07.2009 | LV auf Merkliste setzen703522
Automatisches Beweisen
VO 2
4
wöch.
jährlich
Englisch
automatisches Beweisen in erststufigen und höherstufigen Systemen; Vertiefung des Verständnis zur Logik
durch praktisches Training mit weit verbreiteten Theorembeweisern; logische Grundlagen des automatischen
Beweisens; Selektieren des geeigneten Werkzeugs des automatischen Beweisens zur Lösung
einer spezifischen Aufgabe
Voraussetzung für die Anmeldung ist der positive Abschluss von Modul 1 Spezifikation und Verifikation.
Beginn: KW 10
Beginn: KW 10
- Fakultät für Mathematik, Informatik und Physik
Gruppe 0
|
||||
---|---|---|---|---|
Datum | Uhrzeit | Ort | ||
Mi 04.03.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 11.03.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 18.03.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 25.03.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 01.04.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 22.04.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 29.04.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 06.05.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 13.05.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 20.05.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 27.05.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 10.06.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 17.06.2009
|
13.15 - 15.00 | HS 10 HS 10 | Barrierefrei | |
Mi 08.07.2009
|
13.00 - 15.00 | HS 10 HS 10 | Barrierefrei | 1st exam |