Современный толковый словарь - исчисление предикатов
Исчисление предикатов
раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов. .
Рейтинг статьи:
Вопрос-ответ:
Что такое исчисление предикатов
Значение слова исчисление предикатов
Что означает исчисление предикатов
Толкование слова исчисление предикатов
Определение термина исчисление предикатов
ischislenie predikatov это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):