TU Wien:Lambda Calculus VO (Baaz)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
- Lambda Calculus VO (Baaz) (TU Wien, veraltet, 0 Materialien)
- Lambda Calculus VO (Ciabattoni) (TU Wien, veraltet, 0 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 |
| Masterstudium Logic and Computation |
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