Course Details

Back

K1107-MA0019Ü Finite and Algorithmic Model Theory (E)

Instructors: Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
Event type: Exercise
Org-unit: Faculty of Computer Science
Hours per week: 2
Language of instruction: English

Literature

Appointments
Date From To Room Instructors
1 Th, 20. Oct. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
2 Th, 27. Oct. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
3 Th, 3. Nov. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
4 Th, 10. Nov. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
5 Th, 17. Nov. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
6 Th, 24. Nov. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
7 Th, 1. Dec. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
8 Th, 8. Dec. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
9 Th, 15. Dec. 2022 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
10 Th, 5. Jan. 2023 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
11 Th, 12. Jan. 2023 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
12 Th, 19. Jan. 2023 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
13 Th, 26. Jan. 2023 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph
14 Th, 2. Feb. 2023 13:00 14:30 Bartosz Bednarczyk; Prof. Dr. rer. nat. Sebastian Rudolph

Class session overview

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
    •  

Instructors
  • Bartosz Bednarczyk
  • Prof. Dr. rer. nat. Sebastian Rudolph