08.079.565 Introduction to Computational Logic

Course offering details

Instructors: Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer

Event type: Lecture/practice class

Displayed in timetable as: 08.079.565

Hours per week: 4

Credits: 6,0

Language of instruction: German

Min. | Max. participants: - | -

Appointments
Date From To Room Instructors
1 Mon, 17. Apr. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
2 Mon, 24. Apr. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
3 Mon, 8. May 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
4 Mon, 15. May 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
5 Mon, 22. May 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
6 Mon, 5. Jun. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
7 Mon, 12. Jun. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
8 Mon, 19. Jun. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
9 Mon, 26. Jun. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
10 Mon, 3. Jul. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
11 Mon, 10. Jul. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
12 Mon, 17. Jul. 2023 16:15 17:45 03 428 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
Course specific exams
Description Date Instructors Mandatory
1. Written Examination Fri, 4. Aug. 2023 13:00-15:00 Mattia Cerrato; Univ.-Prof. Dr. Stefan Walter Theodor Kramer Yes
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Instructors
Univ.-Prof. Dr. Stefan Walter Theodor Kramer
Mattia Cerrato