Modellierung WS 2011/12 - Folie 423

Ziele:
Notation und Struktur
in der Vorlesung:
- Beispiele
- Struktur an Bäumen erläutern
- Signatur explizit machen
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 4.2
Verständnisfragen:
- Zeigen Sie, dass die Formeln auf Folie Mod-4.21 syntaktisch korrekt sind.
- Zu welchen Signaturen gehören ihre Terme?
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 17.11.2011