Russian ⇄ Spanish

исчисление n stresses
gen.	cómputo m (вычисление); calcuación; cuento m; enumeración; numeración; cálculo m; computación
avia.	cómputo m
econ.	calculación; cuantificación
law	evaluación; valoración
Russian thesaurus
исчисление n
gen.	знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь

исчисление: 82 phrases in 14 subjects

Aviation	3
Banking	1
Business	2
Commerce	13
Corporate governance	2
Economy	34
Electronics	1
General	3
International Monetary Fund	14
Law	2
Mathematics	4
Technology	1
United Nations	1
Welfare & Social Security	1