|
Homotopy Type Theory (HoTT)
- Dozentinnen/Dozenten
- Dr. Sergey Goncharov, Dr. Tadeusz Litak
- Angaben
- Seminar
2 SWS, ECTS-Studium, ECTS-Credits: 5, Sprache 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 SS 2017:
- Homotopy Type Theory (HoTT)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|