Значения слова Исчисление. Что такое Исчисление?

Слово состоит из 10 букв: первая и, вторая с, третья ч, четвёртая и, пятая с, шестая л, седьмая е, восьмая н, девятая и, последняя е,

Слово исчисление английскими буквами (транслитом) - ischislenie

Исчисление

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

Философская энциклопедия

ИСЧИСЛЕ́НИЕ — обладающий определенными свойствами аппарат правил оперирования со знаками, используемый при эффективном решении задач (получении искомого результата) или при доказательстве (соответственно – опровержении) предложений…

Философская энциклопедия

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

Большой энциклопедический словарь

ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ

ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ — одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода.

Философская энциклопедия

ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ - одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода.

Новая философская энциклопедия. - 2003

Логика высказываний

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами.

Философская энциклопедия

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в к-рой задаётся способ доказательства нек-рых высказываний (формул), наз. теоремами.

Советский философский словарь. - 1974

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — исчисление предложений, формализованная система, в крой задаётся способ доказательства некоторых высказываний (формул), наз. теоремами.

Философская энциклопедия

Правильное написание и ударение в слове ИСЧИСЛЕНИЕ

Исчисле́ние, -я.

Орфографический словарь. — 2004

Вариационное исчисление

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

Энциклопедия Кольера

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

Энциклопедия Кругосвет

Вариационное исчисление История происхождения В. исчисления следующая: в конце XVII и начале XVIII ст. многие знаменитые геометры, как, напр., Ньютон, Иоанн и Яков Бернулли, Лейбниц, Маклорен и др.

Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона. - 1890-1907

Дифференциальное исчисление

Дифференциальное исчисление Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук.

Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона. - 1890-1907

Дифференциальное исчисление, раздел математики, в котором изучаются производные и дифференциалы функций и их применения к исследованию функций. Оформление Д. и. в самостоятельную математическую дисциплину связано с именами И.

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

Дифференциальное исчисление — раздел математического анализа, в котором изучаются понятия производной и дифференциала и способы их применения к исследованию функций.

ru.wikipedia.org

Интегральное исчисление

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

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

Интегральное исчисление в сочинении Архимеда "Об измерении длины окружности" рассматривается вопрос об определении площади и длины окружности круга, а в трактате "О шаре и цилиндре" — о поверхностях и объемах тел, ограниченных кривыми поверхностями…

Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона. - 1890-1907

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

ru.wikipedia.org

ЛОГИЧЕСКОЕ ИСЧИСЛЕ́НИЕ

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

Философская энциклопедия

ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно-предикатную структуру)…

Математическая энциклопедия. - 1977-1985

Логическое исчисление, исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики. Различные Л. и. служат базой для построения более богатых "нелогических" (например, математических) теорий.

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

Операционное исчисление

Операционное исчисление — один из методов математического анализа, позволяющий в ряде случаев с помощью весьма простых средств решать сложные математические задачи.

ru.wikipedia.org

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

Энциклопедия Кольера

ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ, раздел математики, занимающийся главным образом алгебраическими операциями, производимыми над символами операции (или преобразования).Теория операторов.

Энциклопедия Кругосвет

Секвенций исчисление

Секвенций исчисление (позднелатинское sequentia — последовательность, следствие), секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления, в которых основными объектами преобразования являются не формулы…

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

СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода.

Математическая энциклопедия. - 1977-1985

СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ (от лат. sequentia - последовательность) - введенная в рассмотрение нем. математиком Г. Генценом (1934-35) разновидность понятия формальной системы (исчисления).

Философская энциклопедия

Тензорное исчисление

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

ru.wikipedia.org

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

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

ТЕНЗОРНОЕ ИСЧИСЛЕНИЕ - математическая теория, обобщающая векторное исчисление и матричную алгебру. В тензорном исчислении изучаются величины особого рода - тензоры, которые описываются в каждой системе координат несколькими числами…

Большой энциклопедический словарь

Примеры употребления слова исчисление

Какое исчисление времени наносит меньше вреда здоровью?

То есть исчисление и назначение пенсий и наполнение ПФР.

Вторым шагом он назвал исчисление дивидендов по МСФО.

Исключение составляют доходы, в отношении которых исчисление и уплата налога осуществляются в соответствии со ст.ст.

Ульяновска проводит массовое исчисление транспортного, земельного налога и налога на имущество с физических лиц за 2012 год и формирование налоговых уведомлений на их уплату.

ИФНС России по г. Орлу сообщает: заканчивается исчисление имущественных налогов за 2012 год, и уже в июне граждане получат единое налоговое уведомление по сроку уплаты 1 ноября 2013 года.

При этом исчисление суммы налога по объектам жилой недвижимости физических лиц проводится территориальным органом Миндоходов по местонахождению объекта жилой недвижимости.