Исчисление — действия со знаками и знакосочетаниями определенного вида, используемые при точном описании и эффективном решении задач. Исчислением являются, например, выполнение арифметических операций, дифференцирование, интегрирование, операционное исчисление.
[Терминологический словарь по автоматике, информатике и вычислительной технике: Справ. пособие для СПТУ/В. В. Зотов, Ю. Н. Маслов, А. Е. Пядочкин и др.- М.: Высш. шк., 1989.- 191 с: ил.]
Исчисление (calculus) — совокупность языка правильно построенных формул, аксиом и правил вывода, представленных на некотором языке формул; основа индуктивной, дедуктивной или информационных систем. Бывает И. высказываний, открытое предикатов, предикатов первого порядка, предикатов высшего порядков и т.п.
[Словарь понятий по информатике. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user…page/slovar-kompyuternyh-terminov/, свободный.]
Исчисление — формальная система, задаваемая четверкой <Т,В,А,Р>, где Т — множество базовых символов исчисления; В — синтаксические правила, с помощью которых из элементов Т порождаются произвольные элементы; А — множество априорно истинных элементов исчисления (аксиомы исчисления); Р — множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]
Исчисление — математические действия со знаками и знакосочетаниями определённого вида, используемые при точном описании и эффективном решении задачи; включает арифметические операции, дифференцирование, интегрирование, операционное исчисление и др.
[Грицык В.И., Космин В.В. Термины и понятия (словарь): Транспорт. Строительство. Экономика. Менеджмент. Маркетинг.Системотехника. Информатика. — М.: УМК МПС России, 2000]