-
1 predicates
ПредикатыБольшой англо-русский и русско-английский словарь > predicates
-
2 predicates
-
3 predicates
-
4 associated predicates
Большой англо-русский и русско-английский словарь > associated predicates
-
5 equivalent predicates
Большой англо-русский и русско-английский словарь > equivalent predicates
-
6 predicate of predicates
Большой англо-русский и русско-английский словарь > predicate of predicates
-
7 associated predicates
Математика: ассоциированные предикаты -
8 equivalent predicates
Математика: эквивалентные предикаты -
9 grass predicates greenness
Общая лексика: трава вызывает представление о зелёном цветеУниверсальный англо-русский словарь > grass predicates greenness
-
10 hypotactic rhetorical predicates
Лингвистика: гипотактические риторические предикатыУниверсальный англо-русский словарь > hypotactic rhetorical predicates
-
11 jointly satisfying predicates
Математика: совместно выполняющие предикатыУниверсальный англо-русский словарь > jointly satisfying predicates
-
12 predicate of predicates
Математика: предикат предикатовУниверсальный англо-русский словарь > predicate of predicates
-
13 associated predicates
English-Russian electronics dictionary > associated predicates
-
14 predicate of predicates
English-Russian electronics dictionary > predicate of predicates
-
15 associated predicates
The New English-Russian Dictionary of Radio-electronics > associated predicates
-
16 predicate of predicates
The New English-Russian Dictionary of Radio-electronics > predicate of predicates
-
17 associated predicates
English-Russian scientific dictionary > associated predicates
-
18 equivalent predicates
English-Russian scientific dictionary > equivalent predicates
-
19 predicate of predicates
мат.English-Russian scientific dictionary > predicate of predicates
-
20 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
- 1
- 2
См. также в других словарях:
predicates — predicate … Philosophy dictionary
predicates — pred·i·cate || predɪkeɪt n. (Grammar) fundamental part of a sentence that contains a verb and provides details about the subject of a sentence (such as attributes, action, etc.) v. base on, found on; establish, set; ascribe, attribute … English contemporary dictionary
Design predicates — are a method invented by Thomas McCabe, to quantify the complexity of the integration of two units of software. Each of the four types of design predicates have an associated integration complexity rating. For pieces of code that apply more than… … Wikipedia
predicate — predicates, predicating, predicated (The noun is pronounced [[t]pre̱dɪkət[/t]]. The verb is pronounced [[t]pre̱dɪkeɪt[/t]].) 1) N COUNT In some systems of grammar, the predicate of a clause is the part of it that is not the subject. For example,… … English dictionary
Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… … Wikipedia
Syntactic predicate — A syntactic predicate specifies the syntactic validity of applying a production in a formal grammar and is analogous to a semantic predicate that specifies the semantic validity of applying a production. It is a simple and effective means of… … Wikipedia
Structure Mapping Engine — In artificial intelligence and cognitive science, the structure mapping engine is an implementation in software of an algorithm for analogical matching based on the psychological theory of Dedre Gentner [1983] . The basis of Gentner s structure… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia