Logic and logic programming

The resuls of the LuLp exam are released on the Thoska system.

The written exam will take place on 14.02.2024, 09:00 - 11:30 in K-Hs 1. All information about the written exams can be found here.

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 of the 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.

• Will be updated on the German side

Lecture:

• Monday (U), 5:00 – 6:30 p.m., K-Hs 2, Prof. D. Kuske
• Thursday, 1:00 – 2:30 p.m., K-Hs 2, Prof. D. Kuske

Tutorials:

• Monday, 11:00 a.m – 1:30 p.m, Sr K 2035, M. Sc. Christian Schwarz
• Monday, 1:00 – 2:30 p.m., Sr H 2509, M. Sc. Christian Schwarz
• Friday, 9:00 – 10:30 a.m., Sr H 1520b, M. Sc. Christian Schwarz

Konsultation:

• Monday (U), 09:00 – 10:30 a.m., Sr OEC 5007, M. Sc. Christian Schwarz