Russian ⇄ English

исчисление предикатов stresses
math.	predicate calculus; PC (predicate calculus)
tech.	functional calculus; predicative calculus
исчисление предикатов :
IT	predicate calculus
Russian thesaurus
исчисление предикатов
gen.	раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей индивидов, их свойств и отношений, а также выражений "все" и "некоторые" кванторы, позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов. Большой Энциклопедический словарь

исчисление предикатов: 40 phrases in 6 subjects

Automated equipment	1
Computers	3
Information technology	3
Mathematics	27
Mechanics	1
Programming	5