Teilleistung
Logical Foundations of Cyber-Physical Systems [T-INFO-112360]
Teilleistungsart
Prüfungsleistung schriftlichLeistungspunkte
6Turnus
Jedes WintersemesterVersion
3Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
| Kursnummer | Name | SWS | Typ |
|---|---|---|---|
| WS22 2400161 | Logical Foundations of Cyber-Physical Systems | 4 | Vorlesung (V) |
| WS23 2400161 | Logical Foundations of Cyber-Physical Systems | 4 | Vorlesung (V) |
Prüfungen
| Kursnummer | Name | Termine |
|---|---|---|
| WS22 7500252 | Logical Foundations of Cyber-Physical Systems | 19.02.2024 - 09:00 |
| WS22 7500252 | Logical Foundations of Cyber-Physical Systems | 09.03.2023 - 10:00 |
Erfolgskontrolle(n)
Die Erfolgskontrolle erfolgt in Form einer schriftlichen Prüfung im Umfang von i.d.R. 120 Minuten nach § 4 Abs. 2 Nr. 1 SPO.
Durch die erfolgreiche Teilnahme am Übungsbetrieb kann ein Bonus erworben werden. Um einen Bonus zu bekommen, muss man jeweils 50% der Punkte für die Lösungen der Aufgaben in der ersten und 50% Punkte in der zweiten Hälfte erwerben. Liegt die Note der schriftlichen Prüfung zwischen 4,0 und 1,3, so verbessert der Bonus die Note um eine Notenstufe (0,3 oder 0,4).
Voraussetzungen
Keine.
Empfehlungen
The course assumes prior exposure to basic computer programming and mathematical reasoning. This course covers the basic required mathematical and logical background of cyber-physical systems. You will be expected to follow the textbook as needed: André Platzer. Logical Foundations of Cyber-Physical Systems. Springer 2018. DOI:10.1007/978-3-319-63588-0
Anmerkungen
Course web page: https://lfcps.org/course/lfcps.html