Block

Logical Foundations of Cyber-Physical Systems [T-INFO-112360]

Type

Written examination

Credits

Recurrence

Each winter term

Version

Responsible

Prof. Dr. André Platzer

Organisation

KIT-Fakultät für Informatik

Part of

Module Logical Foundations of Cyber-Physical Systems | Information Systems (M.Sc.)

Events

Course Number	Name	SWS	Type
WS22 2400161	Logical Foundations of Cyber-Physical Systems	4	lecture (V)
WS23 2400161	Logical Foundations of Cyber-Physical Systems	4	lecture (V)

Exams

Course Number	Name	Appointments
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

Competence Certificate

Die Erfolgskontrolle erfolgt in Form einer schriftlichen Prüfung im Umfang von i.d.R. 120 Minuten nach § 4 Abs. 2 Nr. 1 SPO.

Durch die erfolgreiche Teilnahme am Übungsbetrieb kann ein Bonus erworben werden. Um einen Bonus zu bekommen, muss man jeweils 50% der Punkte für die Lösungen der Aufgaben in der ersten und 50% Punkte in der zweiten Hälfte erwerben. Liegt die Note der schriftlichen Prüfung zwischen 4,0 und 1,3, so verbessert der Bonus die Note um eine Notenstufe (0,3 oder 0,4).

Prerequisites

None.

Recommendation

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

Annotation

Course web page: https://lfcps.org/course/lfcps.html