Modellierung WS 2010/11 - Folie 461
Ziele:
Regel verstehen
in der Vorlesung:
- Beide Zweige müssen auf dieselbe Aussage führen
- Beispiele zeigen
- Konsequenzregeln mitverwenden
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010