Stratification (mathematics): Mathematical Logic, Stratified Sampling, Sides of an Equation - Couverture souple
Synopsis
High Quality Content by WIKIPEDIA articles! 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).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Stratification (mathematics): Mathematical Logic, Stratified...
Image fournie par le vendeur
Stratification (mathematics)
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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). 76 pp. Englisch. N° de réf. du vendeur 9786131238611
Acheter neuf
EUR 34
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Stratification (mathematics) : Mathematical Logic, Stratified Sampling, Sides of an Equation
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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). N° de réf. du vendeur 9786131238611
Acheter neuf
EUR 35,89
Expédition à EUR 60,66
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Stratification (mathematics) | Mathematical Logic, Stratified Sampling, Sides of an Equation
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Stratification (mathematics) | Mathematical Logic, Stratified Sampling, Sides of an Equation | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786131238611 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 113286358
Acheter neuf
EUR 109,85
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Stratification (mathematics)
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -High Quality Content by WIKIPEDIA articles! Stratification has severalusages in mathematics. In mathematical logic, stratification is anyconsistent assignment of numbers to predicate symbols guaranteeing thata unique formal interpretation of a logical theory exists. Specificallyfor Horn clause theories, we say that such a theory is stratified if andonly if there is a stratification assignment S that fulfills thefollowing conditions: 1. If a predicate P is positively derived from apredicate Q, then the stratification number of P must be greater than orequal to the stratification number of Q, in short S(P) geq S(Q). 2. If apredicate P is derived from a negated predicate Q, then thestratification number of P must be greater than the stratificationnumber of Q, in short S(P) > S(Q).VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 76 pp. Englisch. N° de réf. du vendeur 9786131238611
Acheter neuf
EUR 136
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)