|
Ziele:
Motivation der Prädikatenlogik
in der Vorlesung:
- Parametrisierung von Aussagen verdeutlichen
- Prädikate und Relationen
- Quantoren intuitiv
- Einsatz in der Modellierung
nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 4.2
Verständnisfragen:
Warum kann man einfache Aufgaben für algorithmische
Berechnungen nicht mit
Aussagenlogik modellieren?
| 
