исчисление это:

исчисление
исчисле́ние
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы — языка исчисления, то есть термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, то есть рассмотрение исчисления как знаковой системы (интерпретация исчисления), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
* * *
ИСЧИСЛЕНИЕ
ИСЧИСЛЕ́НИЕ, знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы — языка исчисления, т. е. термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы (интерпретация исчислений), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.

Энциклопедический словарь. 2009.

Синонимы:

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

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

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

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

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

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

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

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

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

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

  • исчисление — основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для отдельных подклассов этого класса и алгоритм решения. В математической логике понятие об …   Словарь терминов логики

Книги

Другие книги по запросу «исчисление» >>


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

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