Course Details

Back

K1101-MA0002V Advanced Logics (L)

Instructors: Prof. Dr. rer. nat. Christine Baier; Jakob Piribauer
Event type: Lecture
Org-unit: Faculty of Computer Science
Hours per week: 4
Language of instruction: English

Literature

Appointments
Date From To Room Instructors
1 Th, 7. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
2 Fri, 8. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
3 Th, 14. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
4 Th, 21. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
5 Fri, 22. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
6 Th, 28. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
7 Fri, 29. Apr. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
8 Th, 5. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
9 Fri, 6. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
10 Th, 12. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
11 Fri, 13. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
12 Th, 19. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
13 Fri, 20. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
14 Fri, 27. May 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
15 Th, 2. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
16 Fri, 3. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
17 Th, 16. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
18 Fri, 17. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
19 Th, 23. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
20 Fri, 24. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
21 Th, 30. Jun. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
22 Fri, 1. Jul. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
23 Th, 7. Jul. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
24 Fri, 8. Jul. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
25 Th, 14. Jul. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. Jakob Piribauer
26 Fri, 15. Jul. 2022 09:20 10:50 APB/E005 Prof. Dr. rer. nat. Christine Baier; Dr. rer. nat. 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
    •        

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