Seminar Homotopy Type Theory
- Dozentinnen/Dozenten
- PD Dr. Sergey Goncharov, PD Dr. Tadeusz Litak, Akad. ORat
- Angaben
- Seminar
Online/Präsenz 2 SWS, ECTS-Studium, ECTS-Credits: 5, Sprache Deutsch und Englisch
Zeit und Ort: Mi 14:15 - 15:45, Übung 3 / 01.252-128
- Studienfächer / Studienrichtungen
- WPF M-BA ab 4 (ECTS-Credits: 5)
WPF INF-BA-SEM ab 4 (ECTS-Credits: 5)
WPF M-MA ab 1 (ECTS-Credits: 5)
- ECTS-Informationen:
- Credits: 5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 12, Maximale Teilnehmerzahl: 15
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2022/2023:
- Seminar Homotopy Type Theory (HoTT)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|