Contact
Teaching
 |
 |
|
| Logik WS 07/08 | ||
 |
 |
| Neuigkeiten | Termine | Motivation | Inhalt | Übungen | Folien | Software | Literatur |
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.
- 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]
- Das DPLL-Verfahren [PDF]
- Binary Decision Diagrams [PDF] [PDF-4]
- Hilbert-Kalküle [PDF] [PDF-4]
- Prädikatenlogik [PDF] [PDF-4]
- Normalformen [PDF] [PDF-4]
- Vollständigkeit [PDF] [PDF-4]
- Prädikatenlogik mit Gleichheit [PDF]
- Resolution Prädikatenlogik [PDF] [PDF-4]
- Restriktionen der prädikatenlogischen Resolution [PDF]
- Unentscheidbarkeit [PDF] [PDF-4]
- Prolog [PDF] [PDF-4]
- Datenbanken und relationale Algebra [PDF]
- Anwendungen der Logik in der Verifikation [PDF]
- Mathematische Theorien [PDF]