Inhalt des Dokuments
zur Navigation
Modul: BINF-GL-TheGI4
| Parameter | Wert |
|---|---|
| LP | 6 |
| Bestandteile | 2VL "Spezifikation und Semantik" 2UE "Spezifikation und Semantik" |
| Semester | Jedes SoSe |
| Prüfungsform | Prüfungsäquivalente Studienleistungen - 20% durch 4 Hausaufgaben - 80% schriftlicher Test Die Teilleistungen sind kompensierbar. Ein Wiederholungstermin für den Test am Ende der VL-freien Zeit. |
| Material | ... |
SoSe 12/13
Montag, 01. April 2013
Im Sose 12/13 wird das 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.
SoSe 11/12
Sonntag, 01. April 2012
Im Sose 11/12 werden die Anteile der Algebraischen Spezifikation und der Petrinetze in der Reihenfolge ihre Plätze tauschen. Für das SoSe 12/13 wird dann eine echte inhaltliche Änderung anvisiert. Teilnehmer im SoSe 11/12 seien hiermit im Hinblick auf eine Wiederholungsprüfung dezent vorgewarnt.