Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Stratification (mathematics)
CHF 42.80
Auf Lager
SKU
16809A384BR
1 Verfügbar 
Geliefert zwischen Do., 05.02.2026 und Fr., 06.02.2026
Details
Stratification has several usages in mathematics. In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretation of a logical theory exists. Specifically, for Horn clause theories, we say that such a theory is stratified if and only if there is a stratification assignment S that fulfills the following conditions: 1. If a predicate P is positively derived from a predicate Q, then the stratification number of P must be greater than or equal to the stratification number of Q, in short S(P) geq S(Q). 2. If a predicate P is derived from a negated predicate Q, then the stratification number of P must be greater than the stratification number of Q, in short S(P) S(Q).
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131238611
- Editor Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
- Größe H220mm x B220mm
- EAN 9786131238611
- Format Fachbuch
- Titel Stratification (mathematics)
- Herausgeber Betascript Publishing
- Anzahl Seiten 76
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
