TU Wien:Semantik von Programmiersprachen VU (Gramlich)

Ähnlich benannte LVAs (Materialien):

Semantik von Programmiersprachen VU (Zuleger) (TU Wien, 32 Materialien)
Semantik von Programmiersprachen VU (Gramlich) (TU Wien, veraltet, 0 Materialien)

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Daten[Bearbeiten | Quelltext bearbeiten]

Diese LVA wird nicht mehr von dieser Person angeboten, ist ausgelaufen, oder läuft aus und befindet sich daher nur noch zu historischen Zwecken im VoWi.

Vortragende	Prof. Gramlich
ECTS	3
Links	Homepage

Zuordnungen
Masterstudium Logic and Computation
Masterstudium Software Engineering & Internet Computing
Masterstudium Technische Informatik

Inhalt laut Tuwis[Bearbeiten | Quelltext bearbeiten]

Grundlegende semantische Beschreibungsmethoden und Definitionsformalismen: Axiomatische, denotationale, operationale Semantik; Bezüge zur Programmverifikation; universelle Algebra und algebraische Datentypen; Lambda-Kalkül; rekursive Definitionen und Fixpunkt-Operatoren; Vertiefung ausgewählter Themen

Ablauf[Bearbeiten | Quelltext bearbeiten]

SS10: Übungstest Mitte April (mit Wiederholmöglichkeit), Abschlusstest (Wiederholmöglichkeit nur wenn "ausreichend Interesse" besteht) und (freiwillige) Übungsbeispiele. Beide Tests müssen positiv absolviert werden.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

Theoretische Informatik und Logik

Vortrag[Bearbeiten | Quelltext bearbeiten]

Der Vortrag kann schon recht langweilig werden aber er stellt immer wieder Fragen an die Studenten die einen dazu bringen mitzudenken.

Übungen[Bearbeiten | Quelltext bearbeiten]

Es gab 3 Übungsrunden die alle freiwillig zu lösen war wobei die letzte ihm geschickt werden konnte. Dies hatte sich scheinbar auf die Benotung ausgewirkt wenn es knapp war.

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

Beide Tests orientierten sich an den leichteren Beispielen der Übung. Komplizierte Beweise wurden nicht verlangt. Beim Abschlusstest waren 1/3 der Beispiele reine Bonusbeispiele.

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

SS10: 1 Woche

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

Angemessen für 3 ECTS. Sollte es in den nächsten Jahren keinen Einstiegstest geben sogar eher gering.

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

Tipps[Bearbeiten | Quelltext bearbeiten]

Wenn man in der Vorlesung halbwegs mitkommt und die Übungsbeispiele rechnet sollte die Prüfung ohne weiteren Lernaufwand schaffbar sein.

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]