-
1 quantification theory
формальная система логики, известная также под названием "исчисление предикатов" (predicate calculus) (см.также first-order logic)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > quantification theory
-
2 theory of quantification
Математика: теория квантификацииУниверсальный англо-русский словарь > theory of quantification
-
3 theory of quantification
мат.English-Russian scientific dictionary > theory of quantification
-
4 first-order logic
= first-order predicate calculusлогика [предикатов] первого порядкаформальная логическая система, используемая в математике, лингвистике и языках логического программирования. Основными синтаксическими элементами логики первого порядка являются символы, которые обозначают объекты (константные символы, constant symbol), отношения (предикатные символы, predicate symbol) и функции (функциональные символы, functional symbol).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > first-order logic
См. также в других словарях:
quantification theory — The logical theory of inferences involving quantifiers, more commonly referred to as the predicate calculus … Philosophy dictionary
theory of quantification — quantification theory … Philosophy dictionary
quantification — theory … Philosophy dictionary
Theory of computation — In theoretical computer science, the theory of computation is the branch that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata… … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Theory of conjoint measurement — The theory of conjoint measurement (also known as conjoint measurement or additive conjoint measurement) is a general, formal theory of continuous quantity. It was independently discovered by the French economist Gerard Debreu (1960) and by the… … Wikipedia
Quantification (signal) — Pour les articles homonymes, voir quantification. En traitement du signal, la quantification est le procédé qui permet d approximer un signal continu (ou à valeurs dans un ensemble discret de grande taille) par des valeurs d un ensemble discret d … Wikipédia en Français
Quantification de Landau — En mécanique quantique, la quantification de Landau désigne la quantification des orbitales cyclotroniques de particules chargées dans un champ magnétique. En conséquence, les particules chargées peuvent seulement occuper des orbitales d énergie… … Wikipédia en Français
Bruit de quantification — Quantification (signal) Pour les articles homonymes, voir quantification. En traitement du signal, la quantification est le procédé qui permet d approximer un signal continu (ou à valeurs dans un ensemble discret de grande taille) par des valeurs … Wikipédia en Français
Erreur de quantification — Quantification (signal) Pour les articles homonymes, voir quantification. En traitement du signal, la quantification est le procédé qui permet d approximer un signal continu (ou à valeurs dans un ensemble discret de grande taille) par des valeurs … Wikipédia en Français
Plural quantification — In mathematics and logic, plural quantification is the theory that an individual variable x may take on plural , as well as singular values. As well as substituting individual objects such as Alice, the number 1, the tallest building in London… … Wikipedia
