 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Glossareintrag |
|
Belegung |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Erläuterung | |||||||||
| |||||||||
| Eine Belegung (engl. "valuation") für eine Variablenmenge V ist eine Funktion (V → D), die allen Systemvariablen (v ∈ V) entsprechende Werte aus dem zugehörigen Wertebereich D (engl. "domain") zuordnet. Der Wertebereich D beschreibt dabei die möglichen Werteausprägungen der Variable(n) aus V.
Beispiel: Sei V eine Variablenmengen mit V = {v1, v2, v2}, dann könnte eine Belegung bei einem Wertebereich D = {1,2,3,4,5} so aussehen: ‹v1 ← 2, v2 ← 5, v3 ← 1›. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Belegung | ||||
| ||||
| ||||
| ||||
| ||||
 | Erläutert Technologien | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| | | ||
| ||||||||||||||
|
