Modellierung WS 2010/11 - Folie 440

Ziele:
Wichtige Äquivalenzen einprägen
in der Vorlesung:
- 1 - 4 begründen
- Eine Äquivalenz beweisen
- Beispiel für Umformungen
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.2
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010