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

Course offering details

Instructors: Dr. of Phil. Ulrik Torben Buchholtz

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: Sel Top Log & Found

Subject:

Crediting for:

Hours per week: 3

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
Depending on the lecturer there will be given an introduction to constructive type theory, linear logic, homotopy type theory, synthetic differential geometry

Literature:
depending on topic

Preconditions:
recommended: depending on topic

Small group(s)
This course is divided into the following small groups:

  • Selected Topics in Logic and Foundations: Homotopy Type Theory I Übung

    Dr. of Phil. Ulrik Torben Buchholtz

    Mon, 14. Oct. 2019 [13:30]-Mon, 10. Feb. 2020 [15:10]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Tue, 15. Oct. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
2 Tue, 22. Oct. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
3 Tue, 29. Oct. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
4 Tue, 5. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
5 Tue, 12. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
6 Tue, 19. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
7 Tue, 26. Nov. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
8 Tue, 3. Dec. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
9 Tue, 10. Dec. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
10 Tue, 17. Dec. 2019 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
11 Tue, 14. Jan. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
12 Tue, 21. Jan. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
13 Tue, 28. Jan. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
14 Tue, 4. Feb. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
15 Tue, 11. Feb. 2020 15:20 17:00 S215/409K Dr. of Phil. Ulrik Torben Buchholtz
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
Dr. of Phil. Ulrik Torben Buchholtz