The documents for the part "Logic Programming" can be found on this page and in moodle.
To be able to inform you about room and other changes if necessary, please register in the corresponding moodle course.
Some exercises are marked as bonus exercises. Please hand in your solution of these tasks by the time noted on the exercise sheet (usually Thursday 1 pm) in the mailbox in front of room Z 1047 or at the beginning of the Thursday lecture. These will be corrected, and the points received will be converted into bonus points for the written exam. The corrected solutions will be returned in the exercises.
Note: The corrected solutions of the 10th homework series can be picked up now in room Z1055.
Materials (lecture notes and exercises for the logic part) can be found on this page, those for the logic part in Moodle.
01st lecture (10/10/22): Slides, recording 02. lecture (10/13-22): Slides, recording part 1 and part 2 03. lecture (10/20-22): Slides, recording 04. Lecture (10/27-22): Slides, recording 05th Lecture (11/03/22): Slides, recording 06th Lecture (11/07/22): Slides, recording 07th Lecture (11/10/22): Slides, recording 08th Lecture (11/17/22): Slides, recording 09th Lecture (11/21/22): Slides, recording 10th Lecture (12/01/22): Slides, recording 11th lecture (05.12.22): Slides, recording 12th lecture (08.12.22): Slides, recording 13th lecture (12/12/22): Slides, recording 14th Lecture (12/15/22): Slides, recording
01st Exercise (10/13 & 10/14/22): Assignments 02. exercise (hand in by 10/20-1:00pm): Assignments 03. exercise (due by 10/27 1:00pm): Assignments 04th Exercise (due by 11/03/13 13:00): Assignments 05th Exercise (due by 11/10 13:00): Assignments 06th Exercise (due by 11/17 13:00): Assignments 07th Exercise (due by 11/24 13:00): Assignments 08th Exercise (due by 01/12 13:00): Assignments (Version 2) 09th Exercise (due by 12/08 13:00): Assignments 10th Exercise (due by 12/15 13:00): Tasks
- Monday U, 5:00 p.m. - 6:30 p.m., R-Hs, Prof. D. Kuske
- Thursday, 13:00 - 14:30, K-Hs1, Prof. D. Kuske
- Thursday, 15:00 - 16:30, Sr HU 201, M. Sc. Christian Schwarz
- Friday, 09:00 - 10:30 a.m., Sr H 1520b, M. Sc. Christian Schwarz
- Friday, 15:00 - 16:30, Sr OEC 4007, M. Sc. Christian Schwarz