TU Wien:Lambda Calculus VO (Ciabattoni)
Jump to navigation
Jump to search
Similarly named LVAs (Resources):
- Lambda Calculus VO (Baaz) (TU Wien, 0 Resources)
- Lambda Calculus VO (Ciabattoni) (TU Wien, 0 Resources)
Daten[edit | edit source]
| Lecturers | Agata Ciabattoni, Federico Aschieri |
|---|---|
| ECTS | 3 |
| Department | Logic and Computation |
| Language | English |
| Links | tiss:192054 |
| Master Logic and Computation | Wahlmodul Logic, Mathematics, and Theoretical Computer Science |
Mattermost: Channel "lambda-calculus" • Register • Mattermost-Infos
Inhalt[edit | edit source]
noch offen, bitte nicht von TISS oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf[edit | edit source]
noch offen
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
noch offen
Vortrag[edit | edit source]
noch offen
Übungen[edit | edit source]
noch offen
Prüfung, Benotung[edit | edit source]
noch offen
Dauer der Zeugnisausstellung[edit | edit source]
noch offen
Zeitaufwand[edit | edit source]
noch offen
Unterlagen[edit | edit source]
noch offen
Tipps[edit | edit source]
noch offen
Verbesserungsvorschläge / Kritik[edit | edit source]
noch offen