TU Wien:Lambda Calculus VO (Baaz)

Aus VoWi
Zur Navigation springen Zur Suche springen
Ähnlich benannte LVAs (Materialien):

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 Ao.Univ.Prof. Dr.phil. Matthias Baaz
ECTS 3
Sprache Deutsch, English
Links tiss:108030
Zuordnungen
Masterstudium Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science



Inhalt[Bearbeiten | Quelltext bearbeiten]

Some book chapters about lambda calculus

Ablauf[Bearbeiten | Quelltext bearbeiten]

I wrote Prof. Baaz a mail (January 2020) and he set up a date where he gave another student and me (a third one was supposed to be there) a quick recap. Then we could study the relevant literature on our own.

Pay attention to TISS news and don't hesitate to send a mail.

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

noch offen

Vortrag[Bearbeiten | Quelltext bearbeiten]

noch offen

Übungen[Bearbeiten | Quelltext bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

I just wrote Prof. Baaz a mail when I thought I was prepared and then had a 15 minute exam in his office. Grading was fair.

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

Some minutes after the exam.

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

More than just a couple of hours, but I think to "just pass" less than 3 ECTS = 75 hours.

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

Pay attention what he says is important. He really focuses on that during the exam.

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.