Modellierung WS 2010/11 - Folie 439
Ziele:
Analoge Begriffe wie in der Aussagenlogik
in der Vorlesung:
- gleiche Definition der Begriffe
- Interpretation unterscheidet sich von der in der Aussagenlogik
- Die Menge der Interpretationen kann i.a. nicht überprüft werden.
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