TU Wien:Introduction to Logical Methods in Computer Science VO (Eiter)
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• Agata Ciabattoni• Thomas Eiter• Christian Fermüller• Robert Ganian• Georg Gottlob• Radu Grosu• Igor Konnov• Laura Kovacs• Matteo Maffei• Maria Magdalena Ortiz de la Fuente• Stefan Szeider• Georg Weissenbacher• Stefan Woltran• Florian Zuleger |
---|---|
ECTS | 3 |
Letzte Abhaltung | 2022W |
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