|
|
|
Übungen |
Bemerkungen |
EA 1: Aussagenlogik |
|
EA 2: Syntax und Semantik der Prädikatenlogik |
|
EA 3: Grundbegriffe der Prädikatenlogik, Kalküle |
|
EA 4: Normalformen, Herbrand-Strukturen, Hauptresultate |
|
EA 5: Logik-Programmierung |
|
EA 6: Ergänzungen zur Prädikatenlogik, modale Aussagenlogik |
|
EA 7: Anwendungen in der Wissenslogik |
|
ML 1: Aussagenlogik |
|
ML 2: Syntax und Semantik der Prädikatenlogik |
|
ML 3: Grundbegriffe der Prädikatenlogik, Kalküle |
|
ML 4: Normalformen, Herbrand-Strukturen, Hauptresultate |
|
ML 5: Logik-Programmierung |
|
ML 6: Ergänzungen zur Prädikatenlogik, modale Aussagenlogik |
|
ML 7: Anwendungen in der Wissenslogik |
|