703304 VO Constraint Solving
Wintersemester 2021/2022 | Stand: 30.09.2021 | LV auf Merkliste setzenAdjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk
Adjunct Professor Priv.-Doz. Dr. Cezary Kaliszyk, +43 512 507 53299
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
703304
VO Constraint Solving
VO 2
4,5
wöch.
jährlich
Englisch
Vertieftes Verständnis auf dem Gebiet des Constraint Solving. Studierende beherrschen Konzepte, die in aktuellen SAT-, SMT- und ähnlichen Solvern eingesetzt werden, und können diese auch gegebenenfalls eigenständig weiterentwickeln. Zudem können sie für Anwendungen geeignete Solver auswählen, um Problemstellungen effektiv zu lösen.
Einüben der Vorlesungsthemen durch Anwenden der vorgestellten Konzepte
siehe Termine
- Fakultät für Mathematik, Informatik und Physik
- SDG 4 - Hochwertige Bildung: Inklusive, gleichberechtigte und hochwertige Bildung gewährleisten und Möglichkeiten lebenslangen Lernens für alle fördern
- SDG 9 - Industrie, Innovation und Infrastruktur: Eine widerstandsfähige Infrastruktur aufbauen, breitenwirksame und nachhaltige Industrialisierung fördern und Innovationen unterstützen
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Fr 08.10.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 22.10.2021
|
10.15 - 12.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Fr 29.10.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 05.11.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 12.11.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 19.11.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 26.11.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 03.12.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 10.12.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 17.12.2021
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 14.01.2022
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 21.01.2022
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 28.01.2022
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |
|
Fr 04.02.2022
|
10.15 - 12.00 | SR 13 SR 13 | Barrierefrei | |