TU Wien:Typsysteme VO (Puntigam)

Aus VoWi
Wechseln zu: Navigation, Suche

Daten[Bearbeiten]

Inhalt[Bearbeiten]

Was sind Typen/Typsysteme? Sichtweisen auf Typen, Typen in Ada, ML. Lambda-Kalkül, Typen in logikorientierten Sprachen, Algebren, Typen in objektorientierten Sprachen, usw.

Ablauf[Bearbeiten]

Es gibt jede Woche einen Vorlesungstermin. Mündliche Prüfung nach Vereinbarung am Ende des Semesters oder im darauffolgenden.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]

Objektorientierte Programmierung ist hilfreich, da es einige Überschneidungen mit dieser LVA gibt. Ebenfalls hilfreich können die LVAs Funktionale Programmierung, Logikorientierte Programmierung, Theoretische Informatik sein.

Vortrag[Bearbeiten]

Das Skriptum deckt den Stoff ab. Es ist nicht notwendig in die Vorlesung zu gehen. Allerdings tun sich die meisten wahrscheinlich leichter sich mit der Thematik zu beschäftigen, wenn sie die VO regelmäßig besuchen. Der Vortrag selbst ist mMn mittelmäßig, was auch am trockenen Stoff liegen kann. Es fehlt oft der rote Faden, die wesentlichen Inhalte werden zu wenig betont. Der Vortragende ist bemüht auch Fragen zu beantworten und auch wenn gewünscht Teile nochmals zu erklären. Außerdem ist es möglich Wünsche über Themen zu äußern, die in der Vorlesung durch genommen werden sollen.

Im WS13 hat Prof. Puntigam erwähnt, dass sich Studenten die nicht in der VO waren bei der Prüfung um einiges schwerer tun. Die Erklärungen in der VO sind recht gut, Fragen werden gut beantwortet und hin und wieder entstand auch eine Diskussion. Auch der Vortrag ist sehr ok, aber wenig spektakulär.

Übungen[Bearbeiten]

Die LVA ist eine reine Vorlesung zu der es keine Übungen gibt.

Prüfung, Benotung[Bearbeiten]

Die Prüfung ist mündlich. Es wird recht genau gefragt, aber die Beurteilung ist weniger streng.

Auf die Formeln wird ein großer Wert gelegt.

Dauer der Zeugnisausstellung[Bearbeiten]

SS09: Prüfung am 16.03.2009, Zeugnis erhalten am 17.03.2009 (ca. 1 Tag)

WS13: Prüfung am 20.09.2013, Zeugnis erhalten am selben Tag

WS13: Prüfung am 21.02.2014, Zeugnis war nach 15 Minuten da.

WS18: Prüfung am 23.03.2018, Zeugnis nach 10 Minuten erhalten.

Zeitaufwand[Bearbeiten]

  • Unknown: Mittel. Abhängig von den Vorkenntnissen, ich würde ein- bis zweimal lockeres Durchlesen des Skriptums empfehlen plus drei Tage intensiv lernen.
  • Gerhard, Juni 2015: 2x überblicksmäßiges Durchlesen des Skriptums + intensives Studium der Standardfragen aus den Prüfungsordnern => mit ein paar Vorkenntnissen sollte es in 2 Tagen lernbar sein, wenn man mit einem 2er zufrieden ist.

Unterlagen[Bearbeiten]

  • Es gibt ein Skriptum, das den Stoff abdeckt.


Verbesserungsvorschläge / Kritik[Bearbeiten]

noch offen