Ausdrücke der Aussagen- und Prädikatenlogik, semantische Äquivalenz
und Normalformen, Entscheidbarkeit logischer Probleme,
Resolutionsmethode und Verfahren für Hornausdrücke für das
Erfüllbarkeitsproblem, Ausblick auf andere Logiken.
Informationen:
Die Ergebnisse der Schein-Klausur vom 25. März 2004.
Die Ergebnisse der Schein-Klausur vom 13. Februar 2004.