TU Wien:Refutation Systems VO (Tompits)
Zur Navigation springen
Zur Suche springen
Inhaltsverzeichnis
Daten[Bearbeiten]
| Vortragende | Hans Tompits |
|---|---|
| ECTS | 3 |
| Abteilung | Logic and Computation |
| Sprache | English |
| Links | tiss:192094 |
| Master Logic and Computation | Wahlmodul Logic, Mathematics, and Theoretical Computer Science |
Mattermost: Channel "refutation-systems" Team invite & account creation link Mattermost-Infos
Inhalt[Bearbeiten]
noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.
Ablauf[Bearbeiten]
noch offen
Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten]
noch offen
Vortrag[Bearbeiten]
noch offen
Übungen[Bearbeiten]
noch offen
Prüfung, Benotung[Bearbeiten]
noch offen
Dauer der Zeugnisausstellung[Bearbeiten]
noch offen
Zeitaufwand[Bearbeiten]
noch offen
Unterlagen[Bearbeiten]
noch offen
Tipps[Bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten]
noch offen
