08.079.565 Introduction to Computational Logic

Course offering details

Instructors: 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, 25. Apr. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
2 Mon, 2. May 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
3 Mon, 9. May 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
4 Mon, 16. May 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
5 Mon, 23. May 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
6 Mon, 30. May 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
7 Mon, 13. Jun. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
8 Mon, 20. Jun. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
9 Mon, 27. Jun. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
10 Mon, 4. Jul. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
11 Mon, 11. Jul. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
12 Mon, 18. Jul. 2022 16:15 17:45 03 428 Univ.-Prof. Dr. Stefan Walter Theodor Kramer
Course specific exams
Description Date Instructors Mandatory
1. Written Examination Mon, 25. Jul. 2022 13:00-15:00 Univ.-Prof. Dr. Stefan Walter Theodor Kramer Yes
2. Written Examination Fri, 18. Nov. 2022 12:00-14:00 N.N. Yes
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  •  
  •  
  •  
Instructors
Univ.-Prof. Dr. Stefan Walter Theodor Kramer