EN
Teilleistung
Formale Systeme [T-INFO-101336]
Teilleistungsart
Prüfungsleistung schriftlichLeistungspunkte
6Turnus
Jedes WintersemesterVersion
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
| Kursnummer | Name | SWS | Typ |
|---|---|---|---|
| WS23 24086 | Formale Systeme | 4 | Vorlesung / Übung (VÜ) |
| WS22 24086 | Formale Systeme | 4 | Vorlesung / Übung (VÜ) |
| WS19 24086 | Formale Systeme | 4 | Vorlesung / Übung (VÜ) |
| WS21 24086 | Formale Systeme | 4 | Vorlesung / Übung (VÜ) |
| WS20 24086 | Formale Systeme | 4 | Vorlesung / Übung (VÜ) |
Prüfungen
| Kursnummer | Name | Termine |
|---|---|---|
| SS20 7500009 | Formale Systeme | 28.02.2022 - 08:00 |
| SS20 7500009 | Formale Systeme | |
| SS20 7500009 | Formale Systeme | |
| SS20 7500009 | Formale Systeme WS 23/24 - Nachklausur | 03.09.2024 - 01:30 |
| SS20 7500009 | Formale Systeme | 29.02.2024 - 03:00 |
| SS20 7500009 | Formale Systeme WS 22/23 - Nachklausur | 04.09.2023 - 10:00 |
| SS20 7500009 | Formale Systeme WS 20/21 - Nachklausur | 04.08.2021 - 11:00 |
| SS20 7500009 | Formale Systeme | 28.02.2023 - 08:00 |
| SS20 7500009 | Formale Systeme WS 21/22 - Nachklausur | 04.08.2022 - 08:00 |
| SS20 7500009 | Formale Systeme WS 19/20 - Nachklausur |
Erfolgskontrolle(n)
Die Erfolgskontrolle erfolgt in Form einer schriftlichen Prüfung (Klausur) im Umfang von i.d.R. 60 Minuten nach § 4 Abs. 2 Nr. 1 der SPO.
Zusätzlich werden Zwischentests und Praxisaufgaben angeboten, für die ein Notenbonus von max. 0,4 (entspricht einem Notenschritt) vergeben werden. Der erlangte Notenbonus wird auf eine bestandene schriftliche Prüfung (Klausur) im gleichen Semester angerechnet. Danach verfällt der Notenbonus.
Voraussetzungen
Keine.
Empfehlungen
Der erfolgreiche Abschluss des Moduls Theoretische Grundlagen der Informatik wird empfohlen.