Bisherige Klausuren bzw. Testate:

Hinweise:
Als die mit "*" gekennzeichneten Klausuren geschrieben wurden (bis 14.2.01), basierte die Lehrveranstaltung noch auf dem Buch "First-Order Logic and Automated Theorem Proving" von M. Fitting. Das hat zwar keine Auswirkung auf den Inhalt der LV, wohl aber auf Art der Darstellung, was sich natürlich in den entsprechenden Klausuren widerspiegelt.
Ab WS 2004/5 haben wir die zugelassenen Hilfsmittel schrittweise beschränkt bis abgeschafft. Dies spiegelt sich natürlich auch in der Aufgabenstellung wieder.

• Probeklausur, Wintersemester 1998/1999^*
• Klausur, Studiengang Informatik, 13.8.1999 ^*
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik, 04.02.2000^*
• Klausur für Nach- und Wiederholer, 01.03.2000^*
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik (Nach- und Wiederholer), 19.06.2000^*
• Klausur, Studiengänge Informatik und Informationssystemtechnik, 24.7.2000^*
• Klausur für Nach- und Wiederholer, 14.02.2001^*

Die Lehrveranstaltung der folgenden Klausuren basierte auf dem Buch "Logik und Logikprogrammierung" von S. Hölldobler.

• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik, 28.02.2001
• Klausur, Studiengänge Informatik und Informationssystemtechnik, 16.6.2001
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik (Nach- und Wiederholer), 11.07.2001
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik, 01.02.2002
• Klausur für Nach- und Wiederholer, 20.02.2002
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik (Nach- und Wiederholer), 15.06.2002
• Klausur, Studiengänge Informatik und Informationssystemtechnik, 24.07.2002
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik, 08.02.2003
• Klausur für Nach- und Wiederholer, 28.02.2003
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik (Nach- und Wiederholer), 05.07.2003
• Klausur, Studiengänge Informatik und Informationssystemtechnik, 25.07.2003
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik, 07.02.2004
• Klausur für Nach- und Wiederholer, 27.02.2004
• Wiederholung der Klausur vom 27.02.2004, 19.06.2004
• Klausur zum Erwerb des Scheines, Studiengang Medieninformatik, 17.07.2004
• Klausur, Studiengänge Informatik und Informationssystemtechnik, 10.08.2004
• Prolog-Testat (Musterlösung vom 30.11.04) zum Bonuspunkteerwerb, 04.11.2004
• Zwischentestat (Musterlösung eingeschlossen) zum Bonuspunkteerwerb, 08.01.2005
• Klausur für Medieninformatiker (Lösungen), 01.03.2005
• Wiederholungsklausur für INF/IST Studenten (Lösungen), 01.03.2005
• Probeklausur für INF/IST Studenten (Lösungen) , 05.05.2005
• Wiederholungsklausur für Medieninformatiker (Lösungen) , 03.08.2005
• Klausur für INF/IST Studenten (Lösungen) , 03.08.2005
• Testat (Lösungen), 03.12.2005
• Wiederholungsklausur für INF/IST Studenten (Lösungen), 21.2.2006
• Klausur für Medieninformatiker (Lösungen), 3.3.2006