Исчисление Предикатов – раздел математической логики, логическоеисчисление, в алфавит знаков которого, помимо символов исчислениявысказываний, входят также символы вещей (индивидов), их свойств иотношений, а также выражений "все" и "некоторые" (кванторы), позволяющиеколичественно охарактеризовать связи вещей, свойств и отношений; служитаксиоматизацией логики предикатов.
Что такое Исчисление Предикатов? Значение ischislenie predikatov, энциклопедический словарь
Значение термина «Исчисление Предикатов» в Энциклопедическом словаре. Что такое исчисление предикатов? Узнайте, что означает слово ischislenie-predikatov - толкование, обозначение, определение термина, его лексический смысл и описание.
Исчисление Предикатов
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):