TU Wien:AKLOG Beweistheorie 2 VO (Baaz)

From VoWi
Jump to navigation Jump to search

Daten[edit | edit source]

Lecturers Matthias Baaz
ECTS 3
Alias Proof Theory 2 (en)
When summer semester
Last iteration 2022SS
Language Deutsch
Mattermost aklog-beweistheorie-2RegisterMattermost-Infos
Links tiss:118211
Zuordnungen
E066011 Wahlmodul Lehrveranstaltungen an der TU Wien
Master Logic and Computation Wahlmodul Logic, Mathematics, and Theoretical Computer Science


Inhalt[edit | edit source]

noch offen, bitte nicht von tiss 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

Attachments

This page has no attachments yet but you can add some.