Энциклопедический словарь
"Исчисление Предикатов"

Главная - Энциклопедический словарь - буква И - Исчисление Предикатов

раздел математической логики, логическоеисчисление, в алфавит знаков которого, помимо символов исчислениявысказываний, входят также символы вещей (индивидов), их свойств иотношений, а также выражений ""все"" и ""некоторые"" кванторы( позволяющиеколичественно охарактеризовать связи вещей, свойств и отношений; служитаксиоматизацией логики предикатов.

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: Исчисление Предикатов

будет выглядеть так: Что такое Исчисление Предикатов

Энциклопедический словарь"Исчисление Предикатов"

Энциклопедический словарь
"Исчисление Предикатов"