TU Wien:AKLOG Lambda Kalkül VO (Baaz)

Daten

Vortragende	Matthias Baaz
ECTS	3,0
Alias	Lambda Calculus (en)
Letzte Abhaltung	2024W
Sprache	English
Mattermost	aklog-lambda-kalkuel • Register • Mattermost-Infos
Links	tiss:108030

Zuordnungen

Masterstudium Logic and Computation

Modul Logic, Mathematics, and Theoretical Computer Science (Gebundenes Wahlfach)

Inhalt

noch offen, bitte nicht von tiss oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse

noch offen

Vortrag

noch offen

Übungen

noch offen

Prüfung, Benotung

noch offen

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

noch offen

Unterlagen

noch offen

• Materialien

Tipps

noch offen

Highlights / Lob

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

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