Исчисление

Исчисле́ние

Основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых И., совпадающих с ним) — и Алгоритмы решения. Примерами И. могут служить совокупность арифметических правил оперирования с цифрами (т. е. числовыми знаками), «буквенное» И. элементарной алгебры, дифференциальное И., интегральное И., вариационное И. и другие ветви математического анализа и теории функций. Несмотря на раннее происхождение, термин «И.» употреблялся в математике до недавнего времени без строгого общего определения. С развитием математической логики возникла потребность в общей теории И. и в уточнении самого понятия «И.», которое подверглось более последовательной формализации. В большинстве случаев, однако, оказывается достаточным следующее (идущее от Д. Гильберта) представление об И. Рассматривается некоторый (вообще говоря, бесконечный, хотя и, быть может, задаваемый посредством конечного числа символов) алфавит, из элементов которого, именуемых буквами, с помощью четко сформулированных правил образования строятся формулы рассматриваемого И. (называемые также иногда словами, или выражениями). Некоторые из таких («правильно построенных») формул объявляются аксиомами, а из них с помощью правил преобразования (или, иначе, правил вывода) «выводятся» новые формулы, называемые теоремами данного И. Иногда термин «И.» относят лишь к «словарной» («выразительной») части описанного построения, говоря, что присоединение к ней «дедуктивной» части (т. е. добавление к алфавиту и правилам образования аксиом и правил ввода) даёт формальную систему. Впрочем, эти термины часто считают синонимичными (и в качестве синонимов пользуются также терминами «логистическая система», «формализм», «формальная теория» и многими др.). Если такое неинтерпретированное («бессмысленное») И. сопоставить с некоторой интерпретацией (См. Интерпретация) (или, как говорят, дополнить чисто синтаксические рассмотрения некоторой семантикой; см. Логическая семантика) то получают Формализованный язык. Представление содержательных логических (и логико-математических) теорий в виде формализованных языков есть характерная особенность математической логики (см. также Доказательство).

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14—20; Марков А. А., Теория алгорифмов, М.—Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.

Ю. Л. Гастев.

Источник: Большая советская энциклопедия на Gufo.me


Значения в других словарях

  1. ИСЧИСЛЕНИЕ — ИСЧИСЛЕНИЕ — знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы — языка исчисления, т. Большой энциклопедический словарь
  2. исчисление — ИСЧИСЛ’ЕНИЕ, исчисления, ср. (·книж. ). 1. Действие по гл. исчислить-исчислять. Исчисление убытков. 2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей. Толковый словарь Ушакова
  3. исчисление — орф. исчисление, -я Орфографический словарь Лопатина
  4. исчисление — -я, ср. 1. Действие по знач. глаг. исчислить—исчислять; вычисление. Исчисление времени. 2. с определением. Название разделов высшей математики. Дифференциальное исчисление. Интегральное исчисление. Малый академический словарь
  5. Исчисление — 1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. Математическая энциклопедия
  6. исчисление — исчисление I ср. 1. Процесс действия по гл. исчислять I 2. Результат такого действия; подсчёт, вычисление. II ср. устар. 1. Процесс действия по гл. исчислять II 2. Результат такого действия; перечисление. Толковый словарь Ефремовой
  7. исчисление — Ис/числ/е́ни/е [й/э]. Морфемно-орфографический словарь
  8. ИСЧИСЛЕНИЕ — ИСЧИСЛЕНИЕ, область математики, включающая в себя методы ДИФФЕРЕНЦИРОВАНИЯ и ИНТЕГРИРОВАНИЯ. Дифференциальное исчисление имеет дело с дифференцированием, т.е. процессом нахождения мгновенной скорости изменения функции в любой момент времени. Научно-технический словарь
  9. Исчисление — Исчисление см. Считать, исчисление. Библейская энциклопедия Брокгауза
  10. Исчисление — Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных разностей. Энциклопедический словарь Брокгауза и Ефрона