====== Logik und Logikprogrammierung WS 2023/24 ======

===== Vorlesungen =====

hier sind die Folien, es gibt auch teilweise Videos. Das Ganze findet man auch auf der Webseite.

=== Logik ===

  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v01.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v02.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v03.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v04.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v05.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v06.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v07.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v08.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v09.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v10.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v11.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v12.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v13.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v14.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp-v15.pdf}}

=== Logikprogrammierung ===

  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:llp.pdf}}

===== Übungen =====

Von Übungsblatt 2 bis 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.

==== Übungsblätter ====

=== Logik ===

  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung01.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung02.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung03.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung04.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung05.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung06.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung07.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung08.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:uebung10.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:weihnachtsaufgabe.pdf}}

=== Logikprogrammierung ===

  * {{restricted:fach:logik-und-logikprogrammierung:llpueass2021.pdf}}

==== Lösungen ====

hier natürlich keine Garantie, dass das richtig ist

=== Logik ===

  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u1.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u2.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u3.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u4.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u5.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u7.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:lulp_u9.pdf}}

=== Logikprogrammierung ===
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:logikprogrammierung_u11.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:logikprogrammierung_u12.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:logikprogrammierung_u13.pdf}}
  * {{restricted:fach:logik-und-logikprogrammierung:ws2324:logikprogrammierung_u14.pdf}}