04-10-0600-vu Selected Topics in Logic: Algorithms and Symmetries

Course offering details

Instructors: Prof. Dr. rer. nat. Pascal Schweitzer

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: 04-10-0600

Subject:

Crediting for:

Hours per week: 6

Language of instruction: Englisch

Min. | Max. participants: - | -

Literature:
depending on topic

Online Offerings:
moodle

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

  • Selected Topics in Logic: Algorithms and Symmetries

    Prof. Dr. rer. nat. Pascal Schweitzer

    Th, 20. Oct. 2022 [09:50]-Th, 9. Feb. 2023 [11:30]

    Show small group
Literature
Appointments
Date From To Room Instructors
1 Tue, 18. Oct. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
2 Wed, 19. Oct. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
3 Tue, 25. Oct. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
4 Wed, 26. Oct. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
5 Tue, 1. Nov. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
6 Wed, 2. Nov. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
7 Tue, 8. Nov. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
8 Wed, 9. Nov. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
9 Tue, 15. Nov. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
10 Wed, 16. Nov. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
11 Tue, 22. Nov. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
12 Wed, 23. Nov. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
13 Tue, 29. Nov. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
14 Wed, 30. Nov. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
15 Tue, 6. Dec. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
16 Wed, 7. Dec. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
17 Tue, 13. Dec. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
18 Wed, 14. Dec. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
19 Tue, 20. Dec. 2022 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
20 Wed, 21. Dec. 2022 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
21 Tue, 10. Jan. 2023 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
22 Wed, 11. Jan. 2023 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
23 Tue, 17. Jan. 2023 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
24 Wed, 18. Jan. 2023 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
25 Tue, 24. Jan. 2023 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
26 Wed, 25. Jan. 2023 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
27 Tue, 31. Jan. 2023 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
28 Wed, 1. Feb. 2023 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
29 Tue, 7. Feb. 2023 13:30 15:10 S103/161 Prof. Dr. rer. nat. Pascal Schweitzer
30 Wed, 8. Feb. 2023 11:40 13:20 S103/110 Prof. Dr. rer. nat. Pascal Schweitzer
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
Instructors
Prof. Dr. rer. nat. Pascal Schweitzer