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

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