Logik und Logikprogrammierung

Um Sie ggf. über Raum- und andere Änderungen informieren zu können, tragen Sie sich bitte in den zugehörigen moodle-Kurs ein.

Einige der Übungsaufgaben sind als Bonusaufgaben gekennzeichnet. Ihre Lösung dieser Aufgaben geben Sie bitte bis zum auf dem Übungsblatt verzeichneten Zeitpunkt (üblicherweise Montag 11 Uhr) im Briefkasten vor dem Raum Z 1047 oder am Anfang der 1. Montag-Übung ab. Diese werden korrigiert, die dabei erhaltenen Punkte werden in Bonuspunkte für die Klausur umgerechnet. Die korrigierten Lösungen werden in den Übungen zurückgegeben.

Die ersten Übungen finden am 21.10. statt.

Neben den Übungen bieten wir auch regelmäßig eine Konsultation an. In dieser werden ausschließlich von Ihnen vorgebrachte Themen besprochen.

Verantw. Hochschullehrer: Prof. Dr. Dietrich Kuske

Moodle-Kurs: [WS24/25] Logik und Logikprogrammierung

Modultafel zum Modul

Vorlesungen:

• Montag (U), 17:00 - 18:30 Uhr, K-Hs 2, Prof. Dietrich Kuske

Übung:

• Montag, 11:00 - 12:30 Uhr, Sr K 2035, Christian Schwarz
• Montag, 13:00 - 13:30 Uhr, Sr H 2509, Christian Schwarz
• Dienstag, 17:00 - 18:30 Uhr, Sr H 2507, Christian Schwarz

Konsultation:

• Freitag (G), 15:00 - 16:30 Uhr, Sr. Z 2073, Christian Schwarz