![\includegraphics[width=10cm]{Bender_proving.ps}](img1.png)
Mathematische Logik spielt in zahlreichen Anwendungen der Informatik eine wichtige Rolle (Hardwareentwurf, Semantik von Programmiersprachen, Verifikation, Logikprogrammierung, Robotik, Künstliche Intelligenz, Datenbanksysteme, etc.). In diesem Seminar werden in diesem Sinne Konzepte für ''computergestütztes logisches Schlußfolgern'' behandelt und diskutiert, die an die Themen der gleichnamigen, im WS 2002/03 gehaltenen Vorlesung ''Maschinelles Beweisen'', anknüpfen.
Voraussetzungen: Das Seminar baut auf der im WS 2002/03 gehaltenen Vorlesung ``Maschinelles Beweisen'' auf.
Bereich: Die erfolgreiche Teilnahme am Seminar kann sowohl nach der alten DPO (Seminarschein Bereich A) als auch nach der neuen DPO (ebenfalls Bereich A) angerechnet werden.
Nachfolge-/Begleitveranstaltungen: Wer möchte, kann das Seminar mit dem Erwerb eines Praktikumscheines kombinieren.
Termin:
Vorbesprechung: Eine erste Vorbesprechung für das Seminar findet am Freitag, den 14.2.2003, in der Vorlesung statt. Interessenten am Seminar, die an diesem Termin verhindert sind, bitten wir, sich möglichst umgehend mit den Veranstaltern in Verbindung zu setzen.
Teilnehmer beachten bitte auch folgendes Handout, welches die Details der Ausarbeitung, des Vortrages und der Vorbesprechungen beinhaltet.