TU Wien:Introduction to Type Theories VU (Kovacs)

Daten

Vortragende	Laura Kovacs• Anja Petkovic Komel
ECTS	3
Letzte Abhaltung	2023S
Sprache	English
Mattermost	introduction-to-type-theories • Register • Mattermost-Infos
Links	tiss:192142, eLearning

Zuordnungen

Masterstudium Logic and Computation
Masterstudium Software Engineering & Internet Computing (veraltet)

Inhalt

noch offen, bitte nicht von TISS/u:find 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

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.