Unten finden Sie die Folien von WS05/06. Im Laufe der Vorlesung kann es sein, dass die Folien aktualisiert werden. Die Folien sind kein Skriptersatz! Sie dienen lediglich als Hilfe, damit nicht jedes Detail in der Vorlesung mitgeschrieben werden muss, ersetzen aber nicht die Vorlesung.
- Organisatorisches [PDF]
- Einführung in die Logik [PDF] [PDF-4]
- Grundbegriffe [PDF] [PDF-4]
- Äquivalenz und Normalformen [PDF] [PDF-4]
- Addierer [PDF] [PDF-4]
- Endlichkeitssatz [PDF] [PDF-4]
- Hornformeln [PDF] [PDF-4]
- Resolution [PDF] [PDF-4]
- Binary Decision Diagrams [PDF] [PDF-4]
- Prädikatenlogik [PDF] [PDF-4]
- Normalformen [PDF] [PDF-4]
- Vollständigkeit [PDF] [PDF-4]
- Resolution Prädikatenlogik [PDF] [PDF-4]
- Unentscheidbarkeit [PDF] [PDF-4]
- Prolog [PDF] [PDF-4]
- Datenbanken [PDF] [PDF-4]
- Anwendungen der Logik in der Verifikation [PDF]
Infoblätter:
- Infoblatt über Limboole [PostScript] [PDF]
- Infoblatt über KV-Diagramme [PostScript] [PDF]
sk