TU Wien:Introduction to Logical Methods in Computer Science VO (Woltran)
Zur Navigation springen
Zur Suche springen
Ähnlich benannte LVAs (Materialien):
- Introduction to Logical Methods in Computer Science VO (Eiter) (TU Wien, 0 Materialien)
- Introduction to Logical Methods in Computer Science VO (Woltran) (TU Wien, 0 Materialien)
Daten[Bearbeiten | Quelltext bearbeiten]
Vortragende | Ezio Bartocci• Armin Biere• Agata Ciabattoni• Thomas Eiter• Christian Fermüller• Geraldine Fitzpatrick• Robert Ganian• Laura Kovacs• Matteo Maffei• Stefan Alexander Schupp• Georg Weissenbacher• Josef Widder• Stefan Woltran• Florian Zuleger |
---|---|
ECTS | 3 |
Letzte Abhaltung | 2023S |
Sprache | English |
Mattermost | introduction-to-logical-methods-in-computer-science • Register • Mattermost-Infos |
Links | tiss:184766 |
E784165 | |
E784175 | |
E786175 | |
E786881 | |
E791881 | |
E791884 |
Inhalt[Bearbeiten | Quelltext bearbeiten]
noch offen, bitte nicht von tiss 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