predicate calculus Расширенное исчисление высказываний, в котором вводятся предметные символы (индивиды), отношения между ними, кванторы существования и всеобщности. Является основой для реляционного исчисления и построения предикатных моделей знаний.
Russian-English Modern Computing dictionary
исчисление предикатов N - ного порядка
N-order logic Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1. Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.
Russian-English Modern Computing dictionary
исчисление предикатов Энного порядка
n - order logic Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля до N-1. Предикатами нулевого порядка считаются выражения, состоящие из термов и констант.
Russian-English Modern Computing dictionary
логика предикатов
predicate logic Направление в математической логике, исследующее языки и логические исчисления высших уровней.
Russian-English Modern Computing dictionary
предикат тождественности
sameness predicate
Russian-English Modern Computing dictionary
применяемость предиката
predicate selectivity (характеризующая частоту его использования)