Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.

исчисление

Толковый словарь

Толковый словарь Ушакова

Толковый словарь Ожегова

Словарь существительных

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

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

* * *

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

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

Академический словарь

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

Формы слов для слова исчисление

Синонимы к слову исчисление

Идеография

Морфемно-орфографический словарь

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

Грамматический словарь

Сканворды для слова исчисление

Полезные сервисы

исчисление высказываний

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

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

Полезные сервисы

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

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

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

Полезные сервисы

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

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

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

Полезные сервисы

исчисление процентов

Синонимы к слову исчисление процентов

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

Полезные сервисы

исчисление себестоимости

Синонимы к слову исчисление себестоимости

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

Полезные сервисы