703621 Praxis der Entscheidungsverfahren
Sommersemester 2016 | Stand: 29.01.2016 | LV auf Merkliste setzen703621
Praxis der Entscheidungsverfahren
VO 1
2
wöch.
2-Jahresrhythmus
Englisch
Absolveninnen und Absolventen können Probleme auf SAT/SMT/etc reduzieren.
SAT-, PB- und SMT-Kodierungen; Kodierung von nicht-linearer
Arithmetik
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 07.03.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 14.03.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 04.04.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 11.04.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 18.04.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 25.04.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 02.05.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 09.05.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 23.05.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 30.05.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 06.06.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 13.06.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 20.06.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |
|
Mo 27.06.2016
|
10.15 - 11.00 | HS 11 HS 11 | Barrierefrei | |