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

ИСЧИСЛ’ЕНИЕ, исчисления, ср. (·книж. ).

1. Действие по гл. исчислить-исчислять. Исчисление убытков.

2. Название отделов высшей математики (мат.). Диференциальное исчисление. Интегральное исчисление. Исчисление конечных плоскостей.

1) Составная часть названия нек-рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т.

исчисление

I ср.

1. Процесс действия по гл. исчислять I

2. Результат такого действия; подсчёт, вычисление.

II ср. устар.

1. Процесс действия по гл. исчислять II

2. Результат такого действия; перечисление.

Ис/числ/е́ни/е [й/э].

орф.

исчисление, -я

-я, ср.

1.

Действие по знач. глаг. исчислить—исчислять; вычисление.

Исчисление времени.

2.

с определением.

Название разделов высшей математики.

Дифференциальное исчисление. Интегральное исчисление.

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

Исчисление см. Считать, исчисление.

сущ., кол-во синонимов: 9 ад валорем 1 вычисление 9 подсчет 12 подсчитывание 13 просчитывание 6 расценивание 13 счисление 7 считание 12 эвальвация 2

Основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для некоторых подклассов этого класса (лишь для наиболее простых...

Этим словом означают отдельные части математики, см. Вариационное И., Дифференциальное И., Интегральное И. и И. конечных разностей.

Исчисление, исчисления, исчисления, исчислений, исчислению, исчислениям, исчисление, исчисления, исчислением, исчислениями, исчислении, исчислениях

орф.

исчисленный; кр. ф. -ен, -ена

прил., кол-во синонимов: 12 выраженный 23 высчитанный 8 названный 32 начисленный 5 подсчитанный 13 просчитанный 8 рассчитанный 36 расцененный 14 счисленный 4 считанный 12 указанный 17 упомянутый 20

исчисленный

кр. ф. -ен, -ена, -ено

См. исчислять

Ис/чи́сл/енн/ый.

Раздел математической логики — совокупность логико-математических исчислений (См. Исчисление

Исчисление естественного вывода, натуральная дедукция, общее название логических исчислений

и описывающие (как и аксиомы «обычных» логических исчислений; см., например, Логика высказываний

же, что у соответствующих аксиом обычного исчисления высказываний, перефразировками которых они являются

над ними. Т. и. является развитием и обобщением векторного исчисления (См. Векторное исчисление

исчисление, является математическим аппаратом, при котором исключается влияние выбора координатной

форму Т. и. придал итальянский математик Г. Риччи-Курбастро, поэтому Т. и. иногда называется исчислением

которой целиком основана на Т. и.

Лит.: Кочин Н. Е., Векторное исчисление и начала тензорного исчисления

орф.

лямбда-исчисление, -я

"не", "и", "или", "если..., то..." и кванторы существованиях и всеобщности. От произвольных исчислений Л. и. отличаются чисто логич

характером интерпретаций и правил вывода, от логико-математических исчислений — отсутствием в языке

исчисления). Сформулированные отличия носят относительный характер, т. к. Л. и. остаются чисто

имеющее эвристическую, а не доказательную ценность при научении свойств исчисления. Одно

из важнейших Л. и. — классическое исчисление предикатов с функциональными знаками. Язык этого исчисления

ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ — один из методов математического анализа, позволяющий в ряде случаев

История происхождения В. исчисления следующая: в конце XVII и начале XVIII ст. многие знаменитые

Fonctions"). Метод этот есть метод вариаций и назван Лагранжем вариационным исчислением (Calcul des

variations).

Простейшие вопросы В. исчисления заключаются в следующем: требуется найти такую функцию

руководством вариац. исчисления может служить: "Calcul des Variations р. Moigno et Lindelöf" (1861

четвертый том "Leçons de Calcul differentiel et integral p. Moigno"). История вариац. исчисления, начиная

Исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной

математических) теорий. Примерами Л. и., используемых для указанной цели, служат исчисление

высказываний и исчисление предикатов, различные их ослабления (см. Интуиционистская логика, Положительная

уже упомянутое исчисление предикатов с равенством (квалифицируемое как Л. и. в зависимости

важную роль играют логико-арифметические исчисления, интерпретацией которых служит натуральный ряд

позднелатинское sequentia — последовательность, следствие)

секвенциальные исчисления, исчисления

способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными

классического исчисления высказываний (См. Исчисление высказываний) следующий вид

секвенции должно быть не более одной формулы, то получим секвенциальное интуиционистское исчисление

Исчисление предикатов получается присоединением к предыдущим правилам ещё двух пар правил введения

к одному из обобщений В. и.- тензорному исчислению. Лит.:[1] Weasel С., От directionens analytiske Bete

New Haven, 1901; [4] К о чин H. Е., и начала тензорного исчисления, 9 изд., М., 1965; [5] Дубнов

Я. С., Основы векторного исчисления, 4 изд., ч. 1-2, М.-Л., 1950 — 52. А. Б. Иванов.

Традиционное название раздела математики, изучающего тензоры и тензорные поля (см. Тензорное расслоение). Т. и. разделяется на тензорную алгебру (входящую в качестве основной части в полилинейную алгебру )и тензорный анализ...

ИСЧИСЛЕНИЕ КЛАССОВ – формальная теория, в которой описываются булевы соотношения (операции

между классами (множествами) объектов. Исчисление классов составляет часть более общей теории – множеств

A  А′, а также ввести отношение включения класса в класс – A⊆B≡dfAB = A.

Исчисление классов

и для исчисления классов. В качестве модели исчисления классов обычно принимается множество всех подмножеств

классы, а также классическая факторалгебра высказываний и теория контактных сетей. Исчисление классов

Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное

в истории точных наук. Ближайшим поводом к изобретению Д. исчисления послужили задачи о проведении

математики XVI и XVII ст. Причины же появления нового исчисления лежат глубже в существе дела, и это

исчисление рано или поздно должно было в той или другой форме появиться. Уже в способе исчерпываний

предвосхитил идеи современного интегрального исчисления. Честь изобретения нового исчисления

этого исчисления и различные применения его. Исчисление Аброгаста дает много указаний, полезных в техническом

отношении, для разложения функций в ряды; но как основанное на правилах дифференциального исчисления

ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ — раздел математики, в котором изучаются свойства и способы вычисления

В систематической форме интегральное исчисление было предложено в 17 в. И. Ньютоном и Г. Лейбницем. Интегральное

исчисление тесно связано с дифференциальным исчислением; интегрирование (нахождение интеграла

ТЕНЗОРНОЕ ИСЧИСЛЕНИЕ — математическая теория, обобщающая векторное исчисление и матричную алгебру

В тензорном исчислении изучаются величины особого рода — тензоры, которые описываются в каждой

См. издержки, подсчитанные.

по операционному исчислению, М., 1965; их же, Операционное исчисление, М., 1966; Микусинский Я., Операционное

исчисление, пер. с польск., М., 1956; Штокало И. 3., Операционное исчисление, К., 1972.

В. А. Диткин.

Формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов

"). Соответственно неэлементарные формулы этих исчислений имеют вид $xj. Вхождение переменной хв формулу j

если задать модель исчисления, т. е. выбрать нек-рую непустую область объектов исследования и приписать

из обычных формулировок классического исчисления предикатов содержит следующие аксиомы: Здесь j, y, h

схему, порождающую конкретную аксиому исчисления при конкретном выборе формул j, y, h. Далее, в схемах

к более общим псевдодифференциальным уравнениям) строятся дифференциальное и интегральное исчисления

[1] Д и т к и н В. А., Прудников А. П., Справочник по операционному исчислению, М., 1965; [2

] Микусинский Я., Операторное исчисление, пер. с польск., М., 1956. М. И. Войцеховский. А-ОПЕРАЦИЯ

И. и. непрерывно связано с дифференциальным исчислением и составляет вместе с ним основу математич. анализа

Основные понятия и теория интегрального и дифференциального исчислений, прежде всего связь операций

функций (см. Дифференциальное исчисление): Если знаменатель подинтегральной функции обращается в нуль

] — [24] при статье Дифференциальное исчисление, а также дополнение к разделу "Работы основоположников

А., Курс вариационного исчисления, 2 изд., М.- Л., 1950; [3] Блисс Г. А., Лекции по вариационному

исчислению, пер. с англ., М., 1950; [4] Михлин С. Г., Вариационные методы в математической физике, М., 1957

Раздел векторного исчисления, в к-ром изучаются операции над винтами- упорядоченными парами

между осями, а a° — расстояние между ними). Все формулы В. и. идентичны формулам векторного исчисления

ВАРИАЦИОННОЕ ИСЧИСЛЕНИЕ — раздел математики, посвященный нахождению наибольших и наименьших

функционалами). К числу задач вариационного исчисления относятся, напр., изопериметрические задачи.