Inhalt des Dokuments
Modul: BINF-GL-TheGI4
| Parameter | Wert |
|---|---|
| LP | 6 |
| Bestandteile | 2VL "Spezifikation und Semantik" 2UE "Spezifikation und Semantik" |
| Semester | Jedes SoSe |
| Prüfungsform | Mündliche Prüfung Die Zulassung zur Prüfung erfolgt durch das Erbringen von mindestens 50% der erreichbaren Punkte in Haus- und Projektaufgaben. |
| Material | rsbook.cs.aau.dk Formelsammlung zum Buch |
SoSe 13/14
Sonntag, 14. September 2014
Im Sose 13/14 wurde zum Lehrbuch eine passende deutschsprachige Formelsammlung erstellt.
Aufgrund der Änderung der Studien- und Prüfungsordnung zum kommenden akademischen Jahr verliert das Modul zum SoSe 14/15 seinen Pflicht-Status und wird Wahlpflichtfach ("1 aus 3"). Das neue Modul wird inhaltlich unverändert, jedoch unter dem neuen Namen Reaktive Systeme angeboten werden. Es gilt eine 1:1 Äquivalenzregelung.
SoSe 12/13
Montag, 01. April 2013
Im Sose 12/13 wird das alte Modul, wie angekündigt, komplett runderneuert. Inhaltlich wird auf ein international erfolgreiches Lehrbuch umgestellt. Organisatorisch wird auf die Prüfungsform Mündliche Prüfung umgestellt. In der Folge werden keine erbrachten Leistungen aus den vorherigen Inkarnationen von TheGI4 anrechenbar sein.