Современный толковый словарь - исчисление предикатов
Исчисление предикатов
исчисление предикатов
раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов. .
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1098 | |
2 | 800 | |
3 | 798 | |
4 | 793 | |
5 | 767 | |
6 | 742 | |
7 | 737 | |
8 | 647 | |
9 | 613 | |
10 | 587 | |
11 | 564 | |
12 | 554 | |
13 | 549 | |
14 | 546 | |
15 | 541 | |
16 | 527 | |
17 | 522 | |
18 | 519 | |
19 | 517 | |
20 | 514 |