Modellierung WS 2010/11 - Folie 421

Ziele:
Motivation der Prädikatenlogik
in der Vorlesung:
- Parametrisierung von Aussagen verdeutlichen
- Prädikate und Relationen
- Quantoren intuitiv
- Einsatz in der Modellierung
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.2
Verständnisfragen:
Warum kann man einfache Aufgaben für algorithmische
Berechnungen nicht mit
Aussagenlogik modellieren?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010