Inhaltsverzeichnis

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

Logikprogrammierung

Ü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

Logikprogrammierung

Lösungen

hier natürlich keine Garantie, dass das richtig ist

Logik

Logikprogrammierung