Modellierung WS 2010/11 - Folie 410

Ziele:
Grundbegriff des logischen Schlusses verstehen
in der Vorlesung:
- Beispiele für logische Schlüsse zeigen
- Unterscheiden: logischer Schluss A |= F und aussagenlogische Formel A -> F
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.1.2
Übungsaufgaben:
Mit logischen Aussagen
Eigenschaften des Getränkeautomaten,
seiner Bedienung und seiner Zustände
beschreiben.
Prüfen, ob die Aussagen erfüllbar
sind.
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010