-
1 representable predicate
Большой англо-русский и русско-английский словарь > representable predicate
-
2 representable predicate
Математика: представимый предикатУниверсальный англо-русский словарь > representable predicate
-
3 representable predicate
English-Russian electronics dictionary > representable predicate
-
4 representable predicate
The New English-Russian Dictionary of Radio-electronics > representable predicate
-
5 representable predicate
English-Russian scientific dictionary > representable predicate
-
6 completely representable predicate
Математика: полностью представимый предикатУниверсальный англо-русский словарь > completely representable predicate
-
7 weakly representable predicate
Математика: слабо представимый предикатУниверсальный англо-русский словарь > weakly representable predicate
-
8 completely representable predicate
English-Russian electronics dictionary > completely representable predicate
-
9 completely representable predicate
The New English-Russian Dictionary of Radio-electronics > completely representable predicate
-
10 completely representable predicate
English-Russian scientific dictionary > completely representable predicate
-
11 weakly representable predicate
English-Russian scientific dictionary > weakly representable predicate
-
12 representable
представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ нумерически представимый numeralwise representable formula ≈ нумерически представимая формула numeralwise representable function ≈ нумерически представимая функция recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение sourcewise representable function ≈ истокообразно представленная функция uniquely representable graph ≈ однозначно представимый граф weakly representable predicate ≈ слабо представимый предикат - analytically representable - nomographically representable - properly representable - recursively representable - representable algebra - representable event - representable function - representable functor - representable integer - representable predicate - strongly representable - totally representable - uniquely representable - weakly representable ПредставимоБольшой англо-русский и русско-английский словарь > representable
-
13 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
14 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
15 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
16 представимый предикат
Русско-английский словарь по электронике > представимый предикат
-
17 представимый предикат
Русско-английский словарь по радиоэлектронике > представимый предикат
-
18 представимый предикат
Русско-английский научно-технический словарь Масловского > представимый предикат
-
19 представимый предикат
Большой англо-русский и русско-английский словарь > представимый предикат
-
20 полностью представимый предикат
Mathematics: completely representable predicateУниверсальный русско-английский словарь > полностью представимый предикат
- 1
- 2
См. также в других словарях:
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Resource Description Framework — Infobox file format name = Resource Description Framework icon = logo = extension = .rdf mime = application/rdf+xml type code = uniform type = magic = owner = [http://www.w3.org/ World Wide Web Consortium] genre = semantic web container for =… … Wikipedia
IEEE 754-1985 — The IEEE Standard for Binary Floating Point Arithmetic (IEEE 754) is the most widely used standard for floating point computation, and is followed by many CPU and FPU implementations. The standard defines formats for representing floating point… … Wikipedia
Church encoding — In mathematics, Church encoding is a means of embedding data and operators into the lambda calculus, the most familiar form being the Church numerals, a representation of the natural numbers using lambda notation. The method is named for Alonzo… … Wikipedia
Alan Turing — Turing redirects here. For other uses, see Turing (disambiguation). Alan Turing Turing at the time of his election to Fellowship of the Royal Society … Wikipedia
NaN — For other uses, see Nan. In computing, NaN (Not a Number) is a value of the numeric data type representing an undefined or unrepresentable value, especially in floating point calculations. Systematic use of NaNs was introduced by the IEEE 754… … Wikipedia
Classifying space — In mathematics, specifically in homotopy theory, a classifying space BG of a topological group G is the quotient of a weakly contractible space EG (i.e. a topological space for which all its homotopy groups are trivial) by a free action of G. It… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
IEEE 754 revision — This article describes the revision process of the IEEE 754 standard, 2000 2008, and the changes included in the revision. For a description of the standard itself, see IEEE 754 2008. IEEE 754 2008 (previously known as IEEE 754r ) was published… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium