Registrieren Passwort vergessen?

Minimales Modell

26. Okt 2007, 21:52

[Bearbeiten] Modell

In der theoretischen Informatik stellt ein Modell einer Formel \psi \in AL eine Interpretation \Im mit [\psi]^\Im=1 dar. Man sagt auch \Im erfüllt ψ bzw \Im \models \psi.

[Bearbeiten] Minimales Modell

Das minimale/kleinste Modell M ist das Modell, für welches gilt: Wenn für eine Variable X\in\tau(\psi) \Im_{M}(X) = 1 dann gilt auch für jedes andere Modell von ψ, dass \Im(X)=1.

Von „http://de.wikipedia.org/wiki/Minimales_Modell“
Dieser Artikel ist eine Kopie aus der freien Enzyklopädie Wikipedia. Am Originalartikel kann jeder Korrekturen und Ergänzungen vornehmen. Zudem kann man frühere Versionen einsehen.
In Kooperation mit Lycos Europe Network