associative calculus Совокупность алфавита и схемы (конечного списка пар слов в этом алфавите), для которых разрешается производить, исходя из любого слова в алфавите, любые действия, допустимые относительно схемы.
Russian-English Modern Computing dictionary
булево исчисление
Boolean calculus
Russian-English Modern Computing dictionary
вариационное исчисление
calculus of variations
Russian-English Modern Computing dictionary
задача исчисления процентов
interest problem
Russian-English Modern Computing dictionary
индексное исчисление
index calculus
Russian-English Modern Computing dictionary
исчисление достоверности
certainty calculus (гипотез)
Russian-English Modern Computing dictionary
исчисление кубических комплексов
cubical algebra
Russian-English Modern Computing dictionary
исчисление отношений
relation calculus Исчисление предикатов, применяемое в реляционных моделях, данных для представления новых отношений через другие отношения. В зависимости от того, что используется в формулах в качестве переменных, различают реляционное исчисление с переменными-кортежами и с переменными на доменах.
Russian-English Modern Computing dictionary
исчисление предикатов
functional calculus
predicate calculus Расширенное исчисление высказываний, в котором вводятся предметные символы (индивиды), отношения между ними, кванторы существования и всеобщности. Является основой для реляционного исчисления и построения предикатных моделей знаний.