TU Wien:Structural Decompositions and Meta Theorems VU (Szeider)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Jan Niclas DreierLiana KhazaliyaStefan Szeider
ECTS 6,0
Letzte Abhaltung 2025W
Sprache English
Mattermost structural-decompositions-and-meta-theoremsRegisterMattermost-Infos
Links tiss:192159, eLearning
Zuordnungen
Masterstudium Data Science Modul BDHPC/EX - Big Data and High Performance Computing - Extension (Gebundenes Wahlfach)
Masterstudium Business Informatics Modul ISE/EXT - Information Systems Engineering Extension (Gebundenes Wahlfach)
Masterstudium Logic and Computation Modul Structural Decompositions and Meta Theorems * (Gebundenes Wahlfach)
Masterstudium Software Engineering & Internet Computing Modul Structural Decompositions and Meta Theorems * (Gebundenes Wahlfach)


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.