язык программирования , основанный на логике предикатов, язык , основанный на логике предикатов
English-Russian Modern Computing dictionary
predicate language
язык предикатов
English-Russian Modern Computing dictionary
higher predicate calculus
исчисление предикатов высших порядков
English-Russian Modern Computing dictionary
predicate calculus
исчисление предикатов Расширенное исчисление высказываний, в котором вводятся предметные символы (индивиды), отношения между ними, кванторы существования и всеобщности. Является основой для реляционного исчисления и построения предикатных моделей знаний.
English-Russian Modern Computing dictionary
predicate constant
предикатная константа Константа, предназначенная для обозначения некоторого фиксированного отношения в формальном языке.
English-Russian Modern Computing dictionary
predicate features
предикатные возможности, возможности описания свойств отношений
English-Russian Modern Computing dictionary
predicate logic
логика предикатов Направление в математической логике, исследующее языки и логические исчисления высших уровней.
English-Russian Modern Computing dictionary
predicate logic language
язык программирования , основанный на логике предикатов, язык , основанный на логике предикатов
English-Russian Modern Computing dictionary
predicate node
предикатный узел (в блок-схеме структурированной программы)