TU Wien:Logic and Reasoning in Computer Science VU (Kovacs)
Zur Navigation springen
Zur Suche springen
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Agata Ciabattoni• Robin Coutelier• Josephine Femke Dik• Clemens Eisenhofer• Marton Hajdu• Laura Kovacs• Sanja Lukumbuzya• Emeric Alexander Neufeld• Maria Magdalena Ortiz de la Fuente• Anouk Michelle Oudshoorn• Johannes Schoisswohl |
|---|---|
| ECTS | 6,0 |
| Letzte Abhaltung | 2024S |
| Sprache | English |
| Mattermost | logic-and-reasoning-in-computer-science • Register • Mattermost-Infos |
| Links | tiss:192033, 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