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