СловникиФорумКонтакти

   Російська Іспанська
Google | Forvo | +
исчисление
 исчисление
заг. cómputo; calcuación; cuento; enumeración; numeración; cálculo
ек. calculación; cuantificación
| вексельных курсов
 вексельный курс
заг. cambio

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