direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Modul: BINF-GL-TheGI4

Theoretische Grundlagen der Informatik 4
(Spezifikation und Semantik)
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.

TFS -> MTV

Freitag, 01. April 2011

Modul wurde erstmalig vom Fachgeboet TFS übernommen.
Im Sose 10/11 werden zunächst keine Änderungen vorgenommen.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe