====== 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}}