703621 VO Praxis der Entscheidungsverfahren
Sommersemester 2018 | Stand: 15.05.2018 | LV auf Merkliste setzen703621
VO Praxis der Entscheidungsverfahren
VO 1
2
wöch.
2-Jahresrhythmus
Englisch
Absolventinnen und Absolventen kennen verschiedenste Entscheidungsverfahren und können diese auf konkrete Probleme anwenden.
- SAT-Kodierungen
- Gleichheitslogik
- Unifikation modulo Gleichungen
- Unerreichbarkeit
Präsentation der Theorie und Durchrechnen von Beispielen.
Schriftlich
Folien beinhalten Angaben weiterführender Literatur.
Keine
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 05.03.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 12.03.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 19.03.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 09.04.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 16.04.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 23.04.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 30.04.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 07.05.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 14.05.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 28.05.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 04.06.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 11.06.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 18.06.2018
|
10.00 - 11.00 | HS 11 HS 11 | Barrierefrei | |