TU Wien:Formale Methoden der Informatik UE (Lackner)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
- Formale Methoden der Informatik UE (Lackner) (TU Wien, 0 Materialien)
- Formale Methoden der Informatik UE (Woltran) (TU Wien, 0 Materialien)
- Formale Methoden der Informatik VU (Egly) (TU Wien, 47 Materialien)
- Formale Methoden der Informatik UE (Kovacs) (TU Wien, veraltet, 1 Material)
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Uwe Egly• Laura Kovacs• Martin Lackner• Marcel Moosbrugger• Sophie Rain• Sarah Sophie Sallinger• Friedrich Weber• Stefan Woltran• Florian Zuleger |
|---|---|
| ECTS | 3 |
| Alias | Formal Methods in Computer Science (en) |
| Letzte Abhaltung | 2022W |
| Sprache | English |
| Abkürzung | FMI |
| Mattermost | formale-methoden-der-informatik • Register • Mattermost-Infos |
| Links | tiss:185A93, eLearning |
| Masterstudium Data Science | |
| Masterstudium Logic and Computation | |
| Masterstudium Software Engineering & Internet Computing | |
| Masterstudium Technische Informatik | |
| Katalog 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