====== Logik und Logikprogrammierung WS 2022/23 ====== Das Fach gliedert sich in die Namensgebenden Teilbereiche. Der Teil Logik wird von Prof. Kuske bis Weihnachten gehalten und der Teil Logikprogrammierung das restliche Semester von Prof. Knauf. ===== Vorlesungen ===== ==== Teil Logik ==== * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v01.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v02.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v03.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v04.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v05.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v06.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v07.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v08.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v09.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v10.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v11.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v12.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v13.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:v14.pdf}} ==== Teil Logikprogrammierung ==== * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:llp.pdf}} ===== Übungen ===== ==== Teil Logik ==== In den Übungsblättern 2-10 konnte man Bonuspunkte für das Lösen und Abgeben der mit einem * markierten Aufgaben erhalten. Dies waren maximal 10% der in der Prüfung zu erreichenden Punkte und wurden erst nach bestehen angerechnet. * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung01.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung02.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung03.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung04.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung05.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung06.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung07.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung08.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung09.pdf}} * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:uebung10.pdf}} ==== Teil Logikprogrammierung ==== * {{ restricted:fach:logik-und-logikprogrammierung:ws2223:llpuea.pdf}}