Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
English
Esperanto
French
German
Italian
Norwegian Bokmål
Polish
Russian
G
o
o
g
l
e
|
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 equipment
1
Computers
3
Information technology
3
Mathematics
27
Mechanics
1
Programming
5
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">
Add
|
The server is undergoing maintenance and the site is working in read-only mode. Please check back later.">
Report an error
|
Get short URL
|
Language Selection Tips