04-10-0573-vu Selected Topics in Logic and Foundations: Homotopy Type Theory II

Veranstaltungsdetails

Lehrende: Dr. of Phil. Paolo Capriotti

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Sel Top Log & Found

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Digitale Lehre:
Die Vorlesung wird in Form eines Live-Streams mit Aufzeichnung stattfinden.

Lehrinhalte:
Abhaengig vom Dozenten behandelt diese Vorlesung Themen wie z.B. konstruktive Typtheorie, lineare Logik, Homotopy Type Theory, synthetische Differentialgeometrie etc.

Literatur:
themenabhängig

Voraussetzungen:
empfohlen: themenabhängig

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:

  • Selected Topics in Logic and Foundations: Homotopy Type Theory II Exercise

    Dr. of Phil. Paolo Capriotti

    Mi, 22. Apr. 2020 [09:50]-Mi, 15. Jul. 2020 [11:30]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Di, 21. Apr. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
2 Di, 28. Apr. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
3 Di, 5. Mai 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
4 Di, 12. Mai 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
5 Di, 19. Mai 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
6 Di, 26. Mai 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
7 Di, 2. Jun. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
8 Di, 9. Jun. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
9 Di, 23. Jun. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
10 Di, 30. Jun. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
11 Di, 7. Jul. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
12 Di, 14. Jul. 2020 13:30 15:10 >Digitaler Veranstaltungstermin Dr. of Phil. Paolo Capriotti
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Lehrende
Dr. of Phil. Paolo Capriotti