This page in EN
Teilleistung
SAT Solving in der Praxis (erweitert) [T-INFO-111254]
Teilleistungsart
Prüfungsleistung mündlichLeistungspunkte
6Turnus
UnregelmäßigVersion
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
| Kursnummer | Name | SWS | Typ |
|---|
Prüfungen
| Kursnummer | Name | Termine |
|---|---|---|
| SS21 7500321 | SAT Solving in der Praxis (erweitert) | |
| SS21 7500321 | SAT Solving in der Praxis (erweitert) |
Erfolgskontrolle(n)
Die Erfolgskontrolle erfolgt in Form einer mündlichen Prüfung im Umfang von i.d.R. 30 Minuten nach § 4 Abs. 2 Nr. 2 SPO.
Voraussetzungen
M-INFO-102825 / T-INFO-105798 SAT Solving in der Praxis darf nicht begonnen sein.
Empfehlungen
Relevante Literatur wird in der Vorlesung bekanntgegeben.
Anmerkungen
Diese Lehrveranstaltung entfällt zum WS22/23.