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

Исчисление
        основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) — и Алгоритмы решения. Примерами И. могут служить совокупность арифметических правил оперирования с цифрами (т. е. числовыми знаками), «буквенное» И. элементарной алгебры, дифференциальное И., интегральное И., вариационное И. и другие ветви математического анализа и теории функций. Несмотря на раннее происхождение, термин «И.» употреблялся в математике до недавнего времени без строгого общего определения. С развитием математической логики возникла потребность в общей теории И. и в уточнении самого понятия «И.», которое подверглось более последовательной формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Д. Гильберта) представление об И. Рассматривается некоторый (вообще говоря, бесконечный, хотя и, быть может, задаваемый посредством конечного числа символов) алфавит, из элементов которого, именуемых буквами, с помощью четко сформулированных правил образования строятся формулы рассматриваемого И. (называемые также иногда словами, или выражениями). Некоторые из таких («правильно построенных») формул объявляются аксиомами, а из них с помощью правил преобразования (или, иначе, правил вывода) «выводятся» новые формулы, называемые теоремами данного И. Иногда термин «И.» относят лишь к «словарной» («выразительной») части описанного построения, говоря, что присоединение к ней «дедуктивной» части (т. е. добавление к алфавиту и правилам образования аксиом и правил ввода) даёт формальную систему. Впрочем, эти термины часто считают синонимичными (и в качестве синонимов пользуются также терминами «логистическая система», «формализм», «формальная теория» и многими др.). Если такое неинтерпретированное («бессмысленное») И. сопоставить с некоторой интерпретацией (См. Интерпретация) (или, как говорят, дополнить чисто синтаксические рассмотрения некоторой семантикой; см. Логическая семантика) то получают Формализованный язык. Представление содержательных логических (и логико-математических) теорий в виде формализованных языков есть характерная особенность математической логики (см. также Доказательство).
         Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14—20; Марков А. А., Теория алгорифмов, М.—Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.
         Ю. Л. Гастев.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Синонимы:

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

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

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

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

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

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

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

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

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

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

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

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

Книги

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


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

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