TU Wien:Refutation Systems VO (Tompits)
Jump to navigation
Jump to search
Daten[edit | edit source]
Lecturers | Hans Tompits |
---|---|
ECTS | 3 |
Alias | Refutation Systems (en) |
Department | Logic and Computation |
When | winter semester |
Last iteration | 2022WS |
Language | English |
Mattermost | refutation-systems • Register • Mattermost-Infos |
Links | tiss:192094 |
Master Logic and Computation | Wahlmodul Logic, Mathematics, and Theoretical Computer Science |
Inhalt[edit | edit source]
noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf[edit | edit source]
noch offen
Benötigte/Empfehlenswerte Vorkenntnisse[edit | edit source]
noch offen
Vortrag[edit | edit source]
noch offen
Übungen[edit | edit source]
noch offen
Prüfung, Benotung[edit | edit source]
noch offen
Dauer der Zeugnisausstellung[edit | edit source]
noch offen
Zeitaufwand[edit | edit source]
noch offen
Unterlagen[edit | edit source]
noch offen
Tipps[edit | edit source]
noch offen
Verbesserungsvorschläge / Kritik[edit | edit source]
noch offen