TU Wien:Formale Methoden der Informatik UE (Woltran)

From VoWi
Jump to navigation Jump to search
Similarly named LVAs (Resources):

Daten[edit | edit source]

Lecturers Uwe Egly• Marton Hajdu• Laura Kovacs• Anela Lolic• Marcel Moosbrugger• Sarah Sophie Sallinger• Friedrich Weber• Stefan Woltran• Florian Zuleger
ECTS 3
Alias Formal Methods in Computer Science (en)
When winter semester
Last iteration 2021WS
Language "if required in english" was not recognized as a supported language code.
Abbreviation FMI
Mattermost formale-methoden-der-informatik • Register • Mattermost-Infos
Links tiss:185A93
Zuordnungen
Katalog Freie Wahlfächer - Wirtschaftsinformatik Wahlmodul Freie Wahlfächer
Katalog Freie Wahlfächer - Informatik Wahlmodul Freie Wahlfächer
Bachelor Medizinische Informatik Wahlmodul Freie Wahlfächer
Master Data Science Wahlmodul Freie Wahlfächer
Master Logic and Computation Wahlmodul Formal Methods in Computer Science
Master Software Engineering & Internet Computing Pflichtmodul Formal Methods in Computer Science
Master Technische Informatik Pflichtmodul Formal Methods in Computer Science


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

Attachments

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