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

Veranstaltungsdetails

Lehrende: Dr. of Phil. Ulrik Torben Buchholtz

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: - | -

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 I Übung

    Dr. of Phil. Ulrik Torben Buchholtz

    Mo, 14. Okt. 2019 [13:30]-Mo, 10. Feb. 2020 [15:10]

    Kleingruppe anzeigen
Literatur
Termine
Datum Von Bis Raum Lehrende
1 Di, 15. Okt. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
2 Di, 22. Okt. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
3 Di, 29. Okt. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
4 Di, 5. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
5 Di, 12. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
6 Di, 19. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
7 Di, 26. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
8 Di, 3. Dez. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
9 Di, 10. Dez. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
10 Di, 17. Dez. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
11 Di, 14. Jan. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
12 Di, 21. Jan. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
13 Di, 28. Jan. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
14 Di, 4. Feb. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
15 Di, 11. Feb. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Lehrende
Dr. of Phil. Ulrik Torben Buchholtz