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: Englisch

Min. | Max. participants: - | -

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