Modellierung WS 2010/11 - Folie 301

Ziele:
Informelle Übersicht
in der Vorlesung:
Erläuterungen dazu
- Terme als Strukturen erklären.
- Terme umformen ohne zu "rechnen".
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 19.11.2010