исчисление

исчисление
основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса - и алгоритм решения.
В математической логике понятие об И. подверглось уточнению и более строгой формализации. Логическое И. строится на базе некоторого формализеванного языка. Задается набор исходных символов, из которых с помощью четко определенных правил строятся формулы рассматриваемого И. Некоторые из этих формул выбираются в качестве аксиом, из которых с помощью правил преобразования получают новые формулы, называемые теоремами. После того как к И. добавляется интерпретация, придающая значение ее исходным символам и формулам, И. превращается в язык, описывающий некоторую предметную область (см.: Исчисление высказываний, Исчисление классов, Исчисление предикатов и т. п.).
К

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Поможем решить контрольную работу
Синонимы:
, , , , , , ,


Смотреть что такое "исчисление" в других словарях:

  • ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …   Философская энциклопедия

  • ИСЧИСЛЕНИЕ — ИСЧИСЛЕНИЕ, область математики, включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ. Дифференциальное исчисление имеет дело с дифференцированием, т.е. процессом нахождения мгновенной скорости изменения функции в любой момент времени.… …   Научно-технический энциклопедический словарь

  • ИСЧИСЛЕНИЕ — ИСЧИСЛЕНИЕ, исчисления, ср. (книжн.). 1. Действие по гл. исчислить исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей. Толковый словарь… …   Толковый словарь Ушакова

  • ИСЧИСЛЕНИЕ — знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых… …   Большой Энциклопедический словарь

  • исчисление — просчитывание, эвальвация, подсчитывание, считание, подсчет, вычисление, расценивание Словарь русских синонимов. исчисление см. подсчёт Словарь синонимов русского языка. Практический справочник. М.: Русский язык. З. Е. Александрова …   Словарь синонимов

  • Исчисление — см. Считать, исчисление …   Библейская энциклопедия Брокгауза

  • исчисление — ИСЧИСЛИТЬ, лю, лишь; ленный; сов., что (книжн.). Высчитать, вычислить. И. стоимость ремонта. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • исчисление — расчет результат оценки — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы расчетрезультат оценки EN estimate …   Справочник технического переводчика

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

  • исчисление — знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы  языка исчисления, то есть термов (слов) и формул (фраз), и процесса вывода потенциально значимых… …   Энциклопедический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»