TU Wien:Lambda Calculus VO (Baaz)

From VoWi
Jump to navigation Jump to search
Similarly named LVAs (Resources):

Daten[edit]

Lecturers Ao.Univ.Prof. Dr.phil. Matthias Baaz
ECTS 3
Department E104 Institute of Discrete Mathematics and Geometry
When winter semester
Language Deutsch, English
Links tiss:108030
Zuordnungen
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science



Inhalt[edit]

Some book chapters about lambda calculus

Ablauf[edit]

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[edit]

noch offen

Vortrag[edit]

noch offen

Übungen[edit]

noch offen

Prüfung, Benotung[edit]

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[edit]

Some minutes after the exam.

Zeitaufwand[edit]

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

Unterlagen[edit]

noch offen

Tipps[edit]

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

Verbesserungsvorschläge / Kritik[edit]

noch offen

Attachments

This page has no attachments yet but you can add some.