TU Wien:Lambda Calculus VO (Baaz)
- Lambda Calculus VO (Baaz) (TU Wien, 0 Resources)
- Lambda Calculus VO (Ciabattoni) (TU Wien, 0 Resources)
|Lecturers||Ao.Univ.Prof. Dr.phil. Matthias Baaz|
|Department||E104 Institute of Discrete Mathematics and Geometry|
|Links||tiss:108030 , Mattermost-Channel|
|Master Logic and Computation||Wahlmodul Logic, Mathematics, and Theoretical Computer Science|
Some book chapters about lambda calculus
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.
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
Some minutes after the exam.
More than just a couple of hours, but I think to "just pass" less than 3 ECTS = 75 hours.
Pay attention what he says is important. He really focuses on that during the exam.
Verbesserungsvorschläge / Kritik