TU Wien:AKLOG Beweistheorie 1 VO (Baaz)
Jump to navigation
Jump to search
Daten[edit]
Lecturers | Matthias Baaz |
---|---|
ECTS | 3 |
Alias | Proof Theory 1 (en) |
When | winter semester |
Last iteration | 2021WS |
Language | English |
Mattermost | aklog-beweistheorie-1 • Register • Mattermost-Infos |
Links | tiss:118131 |
E066011 | Wahlmodul Lehrveranstaltungen an der TU Wien |
Master Logic and Computation | Wahlmodul Logic, Mathematics, and Theoretical Computer Science |
Inhalt[edit]
noch offen, bitte nicht von tiss 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