Большой энциклопедический словарь - исчисление предикатов
Связанные словари
Исчисление предикатов
исчисление предикатов
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов. .Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1048 | |
2 | 889 | |
3 | 790 | |
4 | 790 | |
5 | 752 | |
6 | 752 | |
7 | 702 | |
8 | 667 | |
9 | 608 | |
10 | 602 | |
11 | 575 | |
12 | 569 | |
13 | 568 | |
14 | 568 | |
15 | 556 | |
16 | 548 | |
17 | 547 | |
18 | 537 | |
19 | 520 | |
20 | 519 |