703304 VO Constraint Solving
Sommersemester 2025 | Stand: 22.12.2024 | LV auf Merkliste setzen703304
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.
Grundlagen der Verwendung und des Entwurfs von SAT- und SMT-Solvern, sowie Entscheidungsverfahren für verschiedene Theorien und deren Komplexität.
Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.
schriftliche Prüfung
Siehe Kurswebseite.
Kenntnisse über Logik.
siehe Termine
- Fakultät für LehrerInnenbildung
- 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 | ||
|
Di 04.03.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 11.03.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 18.03.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 25.03.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 01.04.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 08.04.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 29.04.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 06.05.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 13.05.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 20.05.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 27.05.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 03.06.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 10.06.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 17.06.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
|
Di 24.06.2025
|
08.15 - 10.00 | HSB 6 HSB 6 | Barrierefrei | |
| Gruppe | Anmeldefrist | |
|---|---|---|
| 703304-0 | 01.02.2025 08:00 - 30.06.2025 23:59 | |
| Thiemann R. | ||