Course Details

Back

K1101-MA0002V Advanced Logics (L)

Instructors: Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
Event type: Lecture
Org-unit: Faculty of Computer Science
Hours per week: 4
Language of instruction: English
Webseite: https://tu-dresden.de/ing/informatik/thi/alg/studium/lehrveranstaltungen/summer-term-2021/advanced-logics

Literature

Appointments
Date From To Room Instructors
1 Th, 15. Apr. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
2 Fri, 16. Apr. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
3 Th, 22. Apr. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
4 Fri, 23. Apr. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
5 Th, 29. Apr. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
6 Fri, 30. Apr. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
7 Th, 6. May 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
8 Fri, 7. May 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
9 Fri, 14. May 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
10 Th, 20. May 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
11 Fri, 21. May 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
12 Th, 3. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
13 Fri, 4. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
14 Th, 10. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
15 Fri, 11. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
16 Th, 17. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
17 Fri, 18. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
18 Th, 24. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
19 Fri, 25. Jun. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
20 Th, 1. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
21 Fri, 2. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
22 Th, 8. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
23 Fri, 9. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
24 Th, 15. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
25 Fri, 16. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
26 Th, 22. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer
27 Fri, 23. Jul. 2021 09:20 10:50 online Prof. Dr. rer. nat. Christine Baier; Simon Jantsch; Jakob Piribauer

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
    •      

Instructors
  • Dr. rer. nat. Simon Jantsch
  • Dr. rer. nat. Jakob Piribauer
  • Prof. Dr. rer. nat. Christine Baier