Die Folien werden im Laufe Vorlesung hier veröffentlicht. Im wesentlichen werden sich die aktuellen Folien auf die Vorlesungsunterlagen WS03/04 stützen. Es wird daher empfohlen, sich die Folien vom letzten Jahr als Vorschau auf die jetzige Vorlesung anzuschauen, aber erst die neuen Folien zu drucken.
Generell gilt: Die Folien sind kein Skriptersatz! Sie dienen lediglich als Hilfe, damit nicht jedes Detail in der Vorlesung mitgeschrieben werden muß, ersetzen aber nicht die Vorlesung.
Folien für das Wintersemester 04/05:
- 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]
- Hilbert Kalkül [PDF] [PDF-4]
- Hilbert Kalkül - Ergänzung [PDF]
- 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]
Die Vorlesungsunterlagen WS03/04 können hier heruntergeladen werden.
Infoblätter:
- Infoblatt 1 [PostScript] [PDF]
- Infoblatt 2 [PostScript] [PDF]
- Infoblatt 3 [PostScript] [PDF]
- Infoblatt 4 [PostScript] [PDF]
dn