- primitive predicate
- мат. примитивный предикат
Большой англо-русский и русско-английский словарь. 2001.
primitive predicate
Смотреть что такое "primitive predicate" в других словарях:
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
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
predicate calculus — The logical calculus in which the expressions include predicate letters, variables, and quantifiers, names, and operation letters, as well as the expressions for truth functions and the propositional variables of the propositional calculus . The… … Philosophy dictionary
Semantische Primitive — Atomare Prädikate (auch genannt: Primitiv Prädikate; semantische Primitive oder semantische Bausteine) werden in der Generativen Semantik die semantische Basiseinheiten bezeichnet. Diese können die Bedeutung von Lexikoneinträgen beschreiben. Es… … Deutsch Wikipedia
Kleene's T predicate — In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic. Informally, the T … Wikipedia
Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… … Wikipedia
Stratification (mathematics) — Stratification has several usages in mathematics. In mathematical logic In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretationof a logical theory exists … Wikipedia
Atomares Prädikat — Atomare Prädikate (auch genannt: Primitiv Prädikate; semantische Primitive oder semantische Bausteine) werden in der Generativen Semantik die semantische Basiseinheiten bezeichnet. Diese können die Bedeutung von Lexikoneinträgen beschreiben. Es… … Deutsch Wikipedia
Primitiv-Prädikat — Atomare Prädikate (auch genannt: Primitiv Prädikate; semantische Primitive oder semantische Bausteine) werden in der Generativen Semantik die semantische Basiseinheiten bezeichnet. Diese können die Bedeutung von Lexikoneinträgen beschreiben. Es… … Deutsch Wikipedia
Primitivprädikat — Atomare Prädikate (auch genannt: Primitiv Prädikate; semantische Primitive oder semantische Bausteine) werden in der Generativen Semantik die semantische Basiseinheiten bezeichnet. Diese können die Bedeutung von Lexikoneinträgen beschreiben. Es… … Deutsch Wikipedia
