I ср.

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

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

II ср. устар.

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

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

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

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

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

ИСЧИ́СЛИТЬ, -лю, -лишь; -ленный; сов., что (книжн.). Высчитать, вычислить. И. стоимость ремонта.

ИСЧИСЛЕ́НИЕ, -я, ср

Определение величины кого, -чего-л. в каком-л. числе, количестве; то же, что вычисление.

Исчисление расстояния и времени пути важно для начинающих туристов.

Исчисле́ние - знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, то есть термов (слов) и формул (фраз), и процесса вывода потенциально значимых (истинных) формул исчисления (его фразеологии) из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования (вывода) его фразеологии. Приписывание символам исчисления значений, то есть рассмотрение исчисления как знаковой системы (интерпретация исчисления), преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.

* * *

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

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

-я, ср.

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

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

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

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

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

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

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

сущ., кол-во синонимов: 9

см. подсчёт

просчитывание, эвальвация, подсчитывание, считание, подсчет, вычисление, расценивание

▲ система

↑ вычисление

исчисление, дедуктивная система - система вычисления;

совокупность правил оперирования с к-л. символами;

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

исчислить.

▼ система единиц, КАЛЕНДАРЬ

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

исчисле́ние с 7a

- Знаковая система.

Составить слова из слова исчисление

Исчисле́ние выска́зываний - раздел математической логики, аксиоматическое построение логики высказываний.

* * *

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - ИСЧИСЛЕ́НИЕ ВЫСКА́ЗЫВАНИЙ, раздел математической логики, аксиоматическое построение логики высказываний (см. ЛОГИКА ВЫСКАЗЫВАНИЙ).

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ - раздел математической логики, аксиоматическое построение логики высказываний.

Составить слова из слова исчисление высказываний

Исчисле́ние кла́ссов - раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.

* * *

ИСЧИСЛЕНИЕ КЛАССОВ - ИСЧИСЛЕ́НИЕ КЛА́ССОВ, раздел математической логики, логика классов (см. ЛОГИКА КЛАССОВ), представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.

ИСЧИСЛЕНИЕ КЛАССОВ - раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля.

Составить слова из слова исчисление классов

Исчисле́ние предика́тов - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений «все» и «некоторые» (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.

* * *

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

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ - раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.

Составить слова из слова исчисление предикатов

сущ., кол-во синонимов: 1

Составить слова из слова исчисление процентов

сущ., кол-во синонимов: 1

Составить слова из слова исчисление себестоимости