08.079.565 Introduction to Computational Logic

Course offering details

Instructors: Sophie Burkhardt; 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: - | -

Digital teaching:
The lecture and the tutorials will take place through Microsoft Teams. All materials and exercise sheets are provided on the corresponding Moodle pages. Please register for the course there. Self-enrollment is activated for this. 

Appointments
Date From To Room Instructors
1 Mon, 20. Apr. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
2 Mon, 27. Apr. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
3 Mon, 4. May 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
4 Mon, 11. May 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
5 Mon, 18. May 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
6 Mon, 25. May 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
7 Mon, 8. Jun. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
8 Mon, 15. Jun. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
9 Mon, 22. Jun. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
10 Mon, 29. Jun. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
11 Mon, 6. Jul. 2020 16:00 18:00 03 428 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer
Course specific exams
Description Date Instructors Mandatory
1. Written Examination Tue, 4. Aug. 2020 09:00-12:00 Sophie Burkhardt; Univ.-Prof. Dr. Stefan Walter Theodor Kramer Yes
2. Written Examination Time tbd Yes
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  •  
  •  
  •  
  •  
Instructors
Univ.-Prof. Dr. Stefan Walter Theodor Kramer
Sophie Burkhardt