703621 Praxis der Entscheidungsverfahren
Sommersemester 2014 | Stand: 11.06.2014 | LV auf Merkliste setzen703621
Praxis der Entscheidungsverfahren
VO 1
2
wöch.
alle 3 Semester
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
04.03.2014
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mi 05.03.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 12.03.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 19.03.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 26.03.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 02.04.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 09.04.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 30.04.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 07.05.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 14.05.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 21.05.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 28.05.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 04.06.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 11.06.2014
|
15.15 - 16.00 | SR Container 1 SR Container 1 | ||
|
Mi 18.06.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |
|
Mi 25.06.2014
|
15.15 - 16.00 | HS 10 HS 10 | Barrierefrei | |