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.

• v01.pdf
• v02.pdf
• v03.pdf
• v04.pdf
• v05.pdf
• v06.pdf
• v07.pdf
• v08.pdf
• v09.pdf
• v10.pdf
• v11.pdf
• v12.pdf
• v13.pdf
• v14.pdf

• llp.pdf

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.

• uebung01.pdf
• uebung02.pdf
• uebung03.pdf
• uebung04.pdf
• uebung05.pdf
• uebung06.pdf
• uebung07.pdf
• uebung08.pdf
• uebung09.pdf
• uebung10.pdf

• llpuea.pdf