This page in EN
Teilleistung
Formale Systeme II: Anwendung [T-INFO-101281]
Teilleistungsart
Prüfungsleistung mündlichLeistungspunkte
5Turnus
Jedes SommersemesterVersion
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
Kursnummer | Name | SWS | Typ |
---|---|---|---|
SS21 2400093 | Formale Systeme II - Anwendung | 3 | Vorlesung (V) |
SS23 2400093 | Formale Systeme II - Anwendung | 3 | Vorlesung (V) |
Prüfungen
Kursnummer | Name | Termine |
---|---|---|
SS23 7500006 | Formale Systeme II: Anwendung | 11.08.2021 - 10:00 12.08.2021 - 10:00 13.08.2021 - 10:00 22.09.2021 - 10:00 23.09.2021 - 10:00 30.09.2021 - 09:00 06.10.2021 - 10:00 08.10.2021 - 10:00 10.11.2021 - 10:00 |
SS23 7500006 | Formale Systeme II: Anwendung |
Erfolgskontrolle(n)
Die Erfolgskontrolle erfolgt in Form einer mündlichen Prüfung über die belegten Vorlesungen nach § 4 Abs. 2 Nr. 2 SPO.
Voraussetzungen
Keine.
Empfehlungen
Der vorherige Besuch des Stammoduls "Formale Systeme" wird empfohlen.
Die Module "Formale Systeme II - Anwendung und "Formale Systeme II - Theorie" ergänzen sich. Sie können jedoch auch ohne Einschränkungen einzeln belegt werden.