Logik und Logikprogrammierung

Mitteilungen

• Um bei Interesse aktuelle Informationen (Raumänderungen, korrigierte Übungsaufgaben, ...) zu erhalten, tragen Sie sich bitte im Moodle-Kurs ein.
• Einige der Übungsaufgaben sind als Bonusaufgaben gekennzeichnet. Ihre handschriftliche Lösung dieser Aufgaben geben Sie bitte bis zum auf dem Übungsblatt verzeichneten Zeitpunkt (üblicherweise Mittwoch 11 Uhr) im Briefkasten vor dem Raum Z 1047 oder am Anfang der ersten Ü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.
• Neben den Übungen bieten wir auch regelmäßig eine Konsultation (Dienstag der ungeraden Woche, 13 Uhr, HU 204) an. In dieser werden ausschließlich von Ihnen vorgebrachte Themen besprochen.
• Die erste Übung findet am 21.10. statt.

Materialien

• Die Materialien zur Vorlesung oder zur Übung werden im Laufe des Semesters aktualisiert.

Allgemeine Informationen zum Kurs

• Vorlesender:  Prof. Dr. Dietrich Kuske
• Übungsleiter:  M.Sc. Sebastian Pfau
• Moodle-Kurs: [WS26/27] Logik und Logikprogrammierung
• Modulbeschreibung (Campus Portal)