TU Wien:Refutation Systems VO (Tompits)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten]

Vortragende Hans Tompits
ECTS 3
Abteilung Logic and Computation
Sprache English
Links tiss:192094
Zuordnungen
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

Materialien

Diese Seite hat noch keine Anhänge, du kannst aber neue hinzufügen.