Modellierung WS 2010/11 - Folie 407

Ziele:
Begriffe zur Erfüllbarkeit verstehen
in der Vorlesung:
- Weitere Beispiele dazu
- Schematische Einteilung der Formelmengen
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.1.1
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010