Вход | Russian | Соглашение пользователя
СловариФорумКупитьСкачатьКонтакты

   Русский ⇄
Google | Forvo | +
к фразам
исчисление сущ.ударения
общ. cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
авиац. cómputo m
эк. calculación m; cuantificación f
юр. evaluación f; valoración f
 Русский тезаурус
исчисление сущ.
общ. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление: 82 фразы в 14 тематиках
Авиация3
Банки и банковское дело1
Бизнес2
Корпоративное управление2
Математика4
Международный валютный фонд14
Общая лексика3
ООН Организация Объединенных Наций1
Социальное обеспечение1
Техника1
Торговля13
Экономика34
Электроника1
Юридическая лексика2

Добавить | Сообщить об ошибке | Короткая ссылка | Способы выбора языков