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