-
21 two-place
двуместный - two-place function - two-place functor - two-place operation - two-place operator - two-place predicate двухзначный( о числе)Большой англо-русский и русско-английский словарь > two-place
-
22 arity
арность; число операндов (аргументов)в программировании - число аргументов функции или оператора. В некоторых языках программирования функции имеют переменное число аргументов (переменную арность).The arity of a predicate is the number of arguments that it takes. — Арность предиката есть число его аргументов см. тж. argument, function, operator, unary operation
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > arity
-
23 calculable
вычислимый, исчислимый, измеримыйcalculable in terms of — вычислимый с помощью (чего-л.)
-
24 domain
1) владение, имение2) территория, зона3) физ. домен4) область, сфера5) матем. область определения6) область, домен• -
25 two-place
-
26 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
-
27 vertex
-
28 constant
[ˈkɔnstənt]address constant вчт. адресная константа all other things constant при прочих равных условиях basic real constant вчт. базисная вещественная константа block constant вчт. признак группы c-type constant вчт. символьная константа case constant вчт. константа варианта character constant вчт. символьная константа compile-time constant вчт. статическая константа complex constant вчт. комплексная константа constant верный constant константа constant неизменный, неослабный constant неизменный constant непрерывный constant физ., мат. постоянная (величина), константа; constant of friction коэффициент трения constant постоянная constant постоянная величина constant постоянный; in terms of constant prizes в неизменных ценах constant постоянный constant твердый; верный (идее и т. п.) constant устойчивый constant физ., мат. постоянная (величина), константа; constant of friction коэффициент трения contiguous constant вчт. зависимая константа decay constant вчт. постоянная затухания deferred constant вчт. задержанная постоянная deferred constant вчт. константа времени выполнения diffusion constant вчт. коэффициент диффузии figurative constant вчт. данные файла figurative constant вчт. фигуральная константа floating constant вчт. плавающая константа function constant вчт. функциональная константа group constant вчт. групповая константа grouped constant вчт. табличная константа hexadecimal constant вчт. шестнадцатеричная константа constant постоянный; in terms of constant prizes в неизменных ценах integer constant вчт. целочисленная константа layout constant вчт. макет расположения layout constant вчт. шаблон manifest constant вчт. именованная константа manifest constant вчт. переименованная константа multiplicative constant вчт. постоянный множитель named constant вчт. именованная константа nonconfiguous constant вчт. независимая константа notation constant вчт. нотационная константа numeric constant вчт. числовая константа octal constant вчт. восьмеричная константа predicate constant вчт. предикатная константа proportionality constant вчт. коэффициент пропорциональности real constant вчт. вещественная константа row constant вчт. ограничение по строкам run-time constant вчт. константа времени выполнения sign constant вчт. знаковая константа smoothing constant вчт. сглаживающая постоянная static constant вчт. статическая константа string constant вчт. строковая константа structured constant вчт. структурная константа system constant вчт. константа операционной системы transfer constant вчт. коэффициент передачи type constant вчт. типизованная константа typed constant вчт. типированная постоянная zero constant вчт. константа нуль
- 1
- 2
См. также в других словарях:
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate (mathematics) — In mathematics, a predicate is either a relation or the boolean valued function that amounts to the characteristic function or the indicator function of such a relation.A function P: X→ {true, false} is called a predicate on X.When P is a… … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia
predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… … Philosophy dictionary
function, logical — In logic and mathematics a function, also known as a map or mapping, is a relation that associates members of one class X with some unique member y of another class Y. The association is written as y = f(x ). The class X is called the domain of… … Philosophy dictionary
function — Synonyms and related words: IC analysis, act, act as, acting, action, activism, activities, activity, affair, affairs, aim, ambition, animus, appositive, aspiration, assignment, attribute, attributive, baccalaureate service, bag, banquet, be… … Moby Thesaurus
predicate — Synonyms and related words: IC analysis, advance, affirm, affirmance, affirmation, allegation, allege, announce, announcement, annunciate, annunciation, appositive, argue, assert, assertion, assever, asseverate, asseveration, attribute,… … Moby Thesaurus
