Aufgrund der Umstellung des Studienverlaufsplans in Bezug auf das Modul Formale Sprachen und Automaten wird Reaktive Systeme zukünftig im Wintersemester angeboten werden. Dies wird erstmals in 21/22 der Fall sein.

Im Sommersemester des akademischen Jahres 19/20 wird dieses Modul komplett digital durchgeführt. Die Vorlesung wird asynchron in Form von Screencasts ersetzt. Tutorien werden sowohl asynchron (ebenfalls mit Screencasts und Übungsaufgaben) als auch synchron (via Videokonferenzen mit Zoom) begleitet. In welcher Form – physisch oder virtuell (per Videokonferenz) – mündliche Prüfungen stattfinden können, wird sich im Laufe des Semesters zeigen.

Aufgrund der Änderung der Studien- und Prüfungsordnung wird dieses Modul zum SoSe 14/15 erstmalig unter diesem Namen angeboten. Es ist weitgehend baugleich zum bisherigen TheGI4, wird aber nun Wahlpflichtfach ("1 aus 3"). Es gilt eine 1:1 Äquivalenzregelung zwischen diesen beiden Modulen.