词典论坛联络

   俄语 +
Google | Forvo | +
短语

исчисление

名词
强调
一般 cómputo m (вычисление); calcuación f; cuento m; enumeración f; numeración f; cálculo m; computación f
技术 cuenta f
法律 evaluación f; valoración f
经济 calculación m; cuantificación f
航空 cómputo m
 俄语 词库
исчисление 名词
一般 знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 95 短语, 14 学科
一般4
公司治理2
商业13
商业活动2
国际货币基金组织14
技术13
数学4
法律2
电子产品1
福利和社会保障1
经济34
联合国1
航空3
银行业1