This page in EN
Teilleistung
SAT Solving in der Praxis [T-INFO-105798]
Teilleistungsart
Prüfungsleistung mündlichLeistungspunkte
5Turnus
UnregelmäßigVersion
3Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
Kursnummer | Name | SWS | Typ |
---|---|---|---|
SS22 2400059 | SAT Solving in der Praxis | 3 | Vorlesung / Übung (VÜ) |
SS23 2400115 | SAT Solving in der Praxis | 3 | Vorlesung / Übung (VÜ) |
SS20 2400105 | SAT Solving in der Praxis | 3 | Vorlesung / Übung (VÜ) |
SS21 2400005 | SAT Solving in der Praxis | 3 | Vorlesung / Übung (VÜ) |
SS24 2400115 | SAT Solving in der Praxis | 3 | Vorlesung / Übung (VÜ) |
Prüfungen
Kursnummer | Name | Termine |
---|---|---|
SS21 7500039 | SAT Solving in der Praxis | |
SS21 7500039 | SAT Solving in der Praxis | |
SS21 7500039 | SAT Solving in der Praxis | |
SS21 7500039 | SAT Solving in der Praxis |
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
Keine.
Empfehlungen
Relevante Literatur wird in der Vorlesung bekanntgegeben.
Anmerkungen