703305 PS Constraint Solving
Sommersemester 2024 | Stand: 19.06.2024 | LV auf Merkliste setzen703305
PS Constraint Solving
PS 2
3
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
Wöchentliche Übungsaufgaben, die im Proseminar von den Studierenden präsentiert und diskutiert werden.
Prüfungsimmanente Lehrveranstaltung
Wird im Rahmen der ersten Lehrveranstaltung besprochen.
Logik Kentnisse
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 | ||
|
Fr 08.03.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 15.03.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 22.03.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 12.04.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 19.04.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 26.04.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 03.05.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 10.05.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 17.05.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 24.05.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Mo 03.06.2024
|
17.15 - 18.45 | 3W04 3W04 | Barrierefrei | |
|
Fr 07.06.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 14.06.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 21.06.2024
|
08.30 - 10.00 | 3W04 3W04 | Barrierefrei | |
|
Fr 28.06.2024
|
08.30 - 10.00 | Seminarraum 1 (ICT-Gebäude) Seminarraum 1 (ICT-Gebäude) | Barrierefrei | |