Logik und Logikprogrammierung

Info
Modultafel	https://www.tu-ilmenau.de/modultafeln/Informatik/Bachelor/2013/fach/11838/
Semester	ba03
Website SS20	https://www.tu-ilmenau.de/iti/lehre/lehre-ss-2020/lulp/
Moodle-Kurs	https://moodle2.tu-ilmenau.de/course/view.php?id=2467

Material

im WS2023/24 gab es 1.5 Vorlesungen, eine Übung und eine Konsultation pro Woche
bei Beendigung eines Kapitels gab es eine Vorlesung lang die Möglichkeit Fragen zu stellen