| Lehrbeauftragter: | Prof. Dr. Jürgen Dassow |
| Semester: | Grundstudium, 1. Semester |
| Wochenstunden: | 2+1+0 |
| Zuhörerkreis: | IF 04, CV 04, WIF 04, IngIF 04 |
| Voraussetzungen: | keine |
Inhalt:
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.
Prüfungen/Schein:
Literatur: