Исчисление Предикатов
Раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений. Служит аксиоматизацией логики предикатов..
Дополнительный поиск Исчисление Предикатов
На нашем сайте Вы найдете значение "Исчисление Предикатов" в словаре Современный толковый словарь, подробное описание, примеры использования, словосочетания с выражением Исчисление Предикатов, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 21 символа