TU Wien:Formale Methoden der Informatik UE (Woltran)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.
- 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, 41 Materialien)
- Formale Methoden der Informatik UE (Kovacs) (TU Wien, veraltet, 1 Material)
Daten
[Bearbeiten | Quelltext bearbeiten]| Vortragende | Robin Coutelier• Uwe Egly• Laura Kovacs• Oliviero Nardi• Alexander Pluska• Adrian Rebola Pardo• Stefan Woltran• Florian Zuleger |
|---|---|
| ECTS | 3,0 |
| Alias | Formal Methods in Computer Science (en) |
| Letzte Abhaltung | 2024W |
| Sprache | English |
| Abkürzung | FMI |
| Mattermost | formale-methoden-der-informatik • Register • Mattermost-Infos |
| Links | tiss:185A93, eLearning |
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