Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Google | Forvo | +
to phrases
исчисление nstresses
gen. cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
avia. cómputo m
econ. calculación m; cunatificación f
law evaluación f; valoración f
 Russian thesaurus
исчисление n
gen. знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление: 82 phrases in 14 subjects
Aviation3
Banking1
Business2
Commerce13
Corporate governance2
Economy34
Electronics1
General3
International Monetary Fund14
Law2
Mathematics4
Technology1
United Nations1
Welfare & Social Security1

Add | Report an error | Get short URL | Language Selection Tips