1. Философский словарь

Исчисление

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

Источник: Философский словарь на Gufo.me

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

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