TU Wien:Seminar aus Logik SE (Dvorak)

Daten

Vortragende	Wolfgang Dvorak• Emanuel Sallinger• Mantas Simkus• Stefan Woltran
ECTS	3,0
Alias	Logic seminar (en)
Letzte Abhaltung	2025S
Sprache	„bei bedarf in englisch“ ist kein zulässiger Sprachcode.
Mattermost	seminar-aus-logik • Register • Mattermost-Infos
Links	tiss:181206

Zuordnungen

Masterstudium Logic and Computation	Modul Logic, Mathematics, and Theoretical Computer Science (Gebundenes Wahlfach)
Masterstudium Software Engineering & Internet Computing (veraltet)	Modul Formale Methoden und Theoretische Informatik (Gebundenes Wahlfach)

Inhalt

noch offen, bitte nicht von TISS/u:find oder Homepage kopieren, sondern aus Studierendensicht beschreiben.

Ablauf

noch offen

Benötigte/Empfehlenswerte Vorkenntnisse

noch offen

Vortrag

noch offen

Übungen

noch offen

Prüfung, Benotung

noch offen

Dauer der Zeugnisausstellung

noch offen

Zeitaufwand

noch offen

Unterlagen

noch offen

Tipps

noch offen

Verbesserungsvorschläge / Kritik

noch offen

Materialien

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