1. calculus Дедуктивно изложенный математическими методами круг знаний. 2. calculus Набор аксиом и правил вывода новых формальных объектов из аксиом и уже построенных объектов.
Phrases with исчислении
ассоциативное исчисление associative calculus Совокупность алфавита и схемы (конечного списка пар слов в этом алфавите), для которых разрешается производить, исходя из любого слова в алфавите, любые действия, допустимые относительно схемы.
булево исчисление Boolean calculus
вариационное исчисление calculus of variations
задача исчисления процентов interest problem
индексное исчисление index calculus
исчисление высказываний sentential calculus; propositional calculus Система символической логики, (логика высказываний); логическое исчисление, определяющее с помощью доказуемых в нем формул законы, которым подчиняются логические операции И, ИЛИ, НЕ, ЕСЛИ ... ТО, ТОГДА И ТОЛЬКО ТОГДА и др.
исчисление отношений relation calculus Исчисление предикатов, применяемое в реляционных моделях, данных для представления новых отношений через другие отношения. В зависимости от того, что используется в формулах в качестве переменных, различают реляционное исчисление с переменными-кортежами и с переменными на доменах.
исчисление предикатов functional calculus; predicate calculus Расширенное исчисление высказываний, в котором вводятся предметные символы (индивиды), отношения между ними, кванторы существования и всеобщности. Является основой для реляционного исчисления и построения предикатных моделей знаний.
исчисление предикатов N ного порядка
исчисление предикатов высших порядков higher predicate calculus
исчисление предикатов первого порядка first
исчисление предикатов Энного порядка n
исчисление программ program calculus Система правил построения программы для решения определенной задачи. Используется в процессе разработки и отладки программ и при автоматическом синтезе программ в интеллектуальных системах программирования.
исчисление фреймов frame calculus Математический аппарат манипулирования знаниями, представленными в базе знаний в виде сети фреймов.
логико-математическое исчисление logic-mathematical calculus Общее название математических или логических аксиоматических теорий.
лямбда исчисление lambda calculus Математический формализм для представления функций и способов их комбинирования. Предложено Черчем, Шейнфинкелем и Карри. Послужило основой денотационной семантики языков программирования и оказало влияние на развитие языков функционального программирования (в частности, языка Лисп).
матричное исчисление matrix calculus
операционное исчисление operational calculus
пропозициональное исчисление propositional calculus Система символической логики, (логика высказываний); логическое исчисление, определяющее с помощью доказуемых в нем формул законы, которым подчиняются логические операции И, ИЛИ, НЕ, ЕСЛИ ... ТО, ТОГДА И ТОЛЬКО ТОГДА и др.
расширенное исчисление extended calculus
реляционное исчисление relation calculus Исчисление предикатов, применяемое в реляционных моделях, данных для представления новых отношений через другие отношения. В зависимости от того, что используется в формулах в качестве переменных, различают реляционное исчисление с переменными-кортежами и с переменными на доменах.; relational calculus Декларативный язык для описания отношений через другие отношения; является основой языков запросов к реляционным базам данных. Языки запросов, основанные на реляционном исчислении, позволяют описать поисковое условие, не задавая последовательности необходимых для ответа действий.