TU Wien:Formale Methoden der Informatik UE (Woltran)

Aus VoWi
Zur Navigation springen Zur Suche springen
Ähnlich benannte LVAs (Materialien):

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Uwe EglyPamina GeorgiouLaura KovacsMarcel MoosbruggerOliviero NardiAlexander PluskaAdrian Rebola PardoStefan WoltranFlorian Zuleger
ECTS 3
Alias Formal Methods in Computer Science (en)
Letzte Abhaltung 2023W
Sprache English
Abkürzung FMI
Mattermost formale-methoden-der-informatikRegisterMattermost-Infos
Links tiss:185A93, eLearning
Zuordnungen
Masterstudium Logic and Computation Wahlmodul Formal Methods in Computer Science
Masterstudium Software Engineering & Internet Computing Pflichtmodul Formal Methods in Computer Science
Masterstudium Technische Informatik Pflichtmodul Formal Methods in Computer Science
Katalog Freie Wahlfächer Wahlmodul Freie Wahlfächer


Inhalt[Bearbeiten | Quelltext bearbeiten]

noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf[Bearbeiten | Quelltext bearbeiten]

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

noch offen

Vortrag[Bearbeiten | Quelltext bearbeiten]

noch offen

Übungen[Bearbeiten | Quelltext bearbeiten]

noch offen

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

noch offen

Dauer der Zeugnisausstellung[Bearbeiten | Quelltext bearbeiten]

noch offen

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

noch offen

Unterlagen[Bearbeiten | Quelltext bearbeiten]

noch offen

Tipps[Bearbeiten | Quelltext bearbeiten]

noch offen

Highlights / Lob[Bearbeiten | Quelltext bearbeiten]

noch offen

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen


Materialien

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