Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Google | Forvo | +
to phrases
исчисление предикатовstresses
math. predicate calculus; PC (predicate calculus)
tech. functional calculus; predicative calculus
исчисление предикатов :
IT predicate calculus
 Russian thesaurus
исчисление предикатов
gen. раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей индивидов, их свойств и отношений, а также выражений "все" и "некоторые" кванторы, позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов. Большой Энциклопедический словарь
исчисление предикатов: 40 phrases in 6 subjects
Automated equipment1
Computers3
Information technology3
Mathematics27
Mechanics1
Programming5

Add | Report an error | Get short URL | Language Selection Tips