Translation of predicate calculus into Russian
Noun
mathematical logic
- Predicate calculus helps formalize statements in mathematics.Исчисление предикатов помогает формализовать высказывания в математике.
Examples of predicate calculus in a sentence
Researchers applied predicate calculus in the proof.
Translations of "predicate calculus" in Context ordered by category and frequency
In a narrow sense, intuitionistic logic means the intuitionistic predicate calculus which was formulated by A. Heyting in 1936.
В более узком смысле под И. л. понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (А. Heyting) в 1930.
The predicate calculus usually builds on some form of the propositional calculus and introduces quantifiers, individual variables, and predicate letters.
Исчисление предикатов обычно строится на основе какой-либо формы исчисления высказываний и включает кванторы, индивидуальные переменные и предикатные буквы.
The completeness of intuitionistic predicate calculus depends on the semantic principles that underlie the intuitionistic theory under consideration.
Полнота интуиционистского исчисления предикатов зависит от семантич. принципов, к-рые лежат в основе рассматриваемой интуиционистской теории.
Thus, in the predicate calculus of the first order, the only quantifiable variables are individual variables.
Так, в исчислении предикатов первого порядка единственными кван-тифицируемыми переменных являются индивидные переменные.
is not derivable in intuitionistic predicate calculus, but is considered true in certain approaches to constructivism.
не выводится в интуиционистском исчислении предикатов, но принимается как истинный в нек-рых разновидностях конструктивизма.
predicate calculus: Examples and translations in context
The derivation rules, and also the so-called logical axioms, of these systems are identical, and form an applied predicate calculus of the first order with equality and with a description operator.
Правила вывода, а также так наз. логические аксиомы у этих систем совпадают и образуют прикладное исчисление предикатов 1-й ступени с равенством и оператором дескрипции.
The formal system of the predicate calculus, which includes predicate symbols, a theory of functions, and quantified variables, was intended to be a language for describing mathematics and its philosophical foundations.
Предполагалось, что формальная система исчисления предикатов, которая включает символы предикатов, теорию функций и квантированных переменных, станет языком для описания математики и ее философских основ.
Once you have a language which has the great power of predicate calculus with quotation, then when defining a new language for a specific application, two things are required
Если у вас есть язык, обладающий огромной силой исчисления предикатов с кавычками, то при определении нового языка для конкретного приложения требуются две вещи
Carnap developed the theory of logical syntax, constructing a language for the extended predicate calculus with equality and with a rule of infinite induction as an instrument for the logical analysis of scientific language.
Карнап развивает теорию логического синтаксиса, строит язык расширенного исчисления предикатов с равенством и с правилом бесконечной индукции как аппарат для логического анализа языка науки.
The examples given show that there is no complete intuitionistic predicate calculus that could serve as a logical basis for all the intuitionistic theories in use.
Приведенные примеры показывают, что не существует единого полного интуиционистского исчисления предикатов, к-рое могло бы служить логич. базисом всех прикладных интуиционистских теорий.
in logic, a system of the extended predicate calculus or axiomatic set theory that includes variables of different "types" (sorts, levels, orders).
теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных 'типов' (сортов, ступеней, порядков).
In the predicate calculus of the second order, variables for properties, relations, and objective functions of different terrain are introduced and quantified.
В исчислении предикатов второго порядка вводятся и начинают квантифицироваться переменные для свойств, отношений и предметных функций разной местности.
Furthermore, the verbal elements in bold are syntactic units consistent with the understanding of predicates in the tradition of predicate calculus.
Более того, слова, выделенные жирным шрифтом - это синтаксические единицы, согласующиеся с определением предикатов в исчислении предикатов.
See also: