Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 14.05.2024 - 12:54
Категории

Исчисление

Исчисление — действия со знаками и знакосочетаниями определенного вида, используемые при точном описании и эффективном решении задач. Исчислением являются, например, выполнение арифметических операций, дифференцирование, интегрирование, операционное исчисление.

[Терминологический словарь по автоматике, информатике и вычислительной технике: Справ. пособие для СПТУ/В. В. Зотов, Ю. Н. Маслов, А. Е. Пядочкин и др.- М.: Высш. шк., 1989.- 191 с: ил.]

Исчисление (calculus) — совокупность языка правильно построенных формул, аксиом и правил вывода, представленных на некотором языке формул; основа индуктивной, дедуктивной или информационных систем. Бывает И. высказываний, открытое предикатов, предикатов первого порядка, предикатов высшего порядков и т.п.

[Словарь понятий по информатике. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user…page/slovar-kompyuternyh-terminov/, свободный.]

Исчисление — формальная система, задаваемая четверкой <Т,В,А,Р>, где Т — множество базовых символов исчисления; В — синтаксические правила, с помощью которых из элементов Т порождаются произвольные элементы; А — множество априорно истинных элементов исчисления (аксиомы исчисления); Р — множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие.

[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]

Исчисление — математические действия со знаками и знакосочетаниями определённого вида, используемые при точном описании и эффективном решении задачи; включает арифметические операции, дифференцирование, интегрирование, операционное исчисление и др.

[Грицык В.И., Космин В.В. Термины и понятия (словарь): Транспорт. Строительство. Экономика. Менеджмент. Маркетинг.Системотехника. Информатика. — М.: УМК МПС России, 2000]

288 просмотров

Правообладателям! В случае если свободный доступ к данному термину является нарушением авторских прав, составители готовы, по требованию правообладателя, убрать ссылку, либо сам термин (определение) с сайта. Для связи с администрацией воспользуйтесь формой обратной связи.