Gedächtnisprotokoll FGI209-1: Unterschied zwischen den Versionen
| Zeile 15: | Zeile 15: | ||
== Aufgabe 3 == | == Aufgabe 3 == | ||
a) | |||
Geben sie die formale Definition von beschränktheit an. | |||
b) | |||
Geben sie die formale Definition von struktureller Beschränktheit an. | |||
== Aufgabe 4 == | == Aufgabe 4 == | ||
Version vom 19. Februar 2009, 14:31 Uhr
Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte) Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.
Auffallend war wieder die Personenkontrolle am Eingang.
Insgesamt gab es 192 Punkte zu erreichen
Aufgabe 1
Aufgabe 2
Beschreiben sie die allgemeine Form einer Markierungsinvarianz, Lebendigkeitsinvarianz und eines Markierungsprädikats. (oder so ähnlich)
Aufgabe 3
a) Geben sie die formale Definition von beschränktheit an.
b) Geben sie die formale Definition von struktureller Beschränktheit an.
Aufgabe 4
Aufgabe 5
Aufgabe 6
Aufgabe 7
DTM und RAM
6 Multiply Choice Fragen Komplexitaetsklassen von irgendwas (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)
Aufgabe 8
Vektorzeitstempel in eine vorhandene Struktur eintragen