TU Wien:Introduction to Type Theories VU (Kovacs)

From VoWi
Jump to navigation Jump to search

Daten[edit | edit source]

Lecturers Laura Kovacs• Anja Petkovic Komel
ECTS 3
When summer semester
Last iteration 2023SS
Language English
Mattermost introduction-to-type-theories • Register • Mattermost-Infos
Links tiss:192142, Homepage
Zuordnungen
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik


Inhalt[edit | edit source]

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


Attachments

This page has no attachments yet but you can add some.
Retrieved from "https://vowi.fsinf.at/wiki?title=TU_Wien:Introduction_to_Type_Theories_VU_(Kovacs)&oldid=154536"