Естествознание. Энциклопедический словарь - исчисление предикатов
Исчисление предикатов
исчисление предикатов
раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
Естествознание. Энциклопедический словарь
.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 386 | |
2 | 372 | |
3 | 370 | |
4 | 368 | |
5 | 354 | |
6 | 350 | |
7 | 345 | |
8 | 342 | |
9 | 335 | |
10 | 334 | |
11 | 331 | |
12 | 330 | |
13 | 320 | |
14 | 320 | |
15 | 319 | |
16 | 316 | |
17 | 316 | |
18 | 313 | |
19 | 305 | |
20 | 304 |