词典论坛联络

   俄语 +
Google | Forvo | +
短语

исчисление

名词
强调
一般 calculation; working-out; working out; computation; enumeration; count; enumerating; recension; recital; reckoning; calculi
商业活动 capitation; estimate; statement
建造 analysis; calculating; numbering
技术 computations
数学 numeration; calculus
机械工程, 过时/过时 calculus (дифференциальное и интегральное)
欧洲复兴开发银行 assessment; evaluation; imputation; liquidation (oVoD)
纳米技术 computing
经济 calculations; costing; estimation; processing operations; valuation
罕见/稀有 compute
航海 rating
财政 construction
过时/过时 connumeration; dinumeration
C-исчисление 名词
信息技术 C-calculus
μ-исчисление 名词
电子产品 μ-calculus
D-исчисление 名词
媒体 D-calculus
исчисления 名词
法律 estimation (Право международной торговли On-Line)
 俄语 词库
исчисление 名词
一般 знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов слов и формул фраз, и процесса вывода потенциально значимых истинных формул исчисления его фразеологии из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования вывода его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы интерпретация исчислений, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления. Большой Энциклопедический словарь
исчисление
: 644 短语, 75 学科
一般57
书本/文学2
人口统计学1
会计6
保险3
信息技术29
公证执业3
军队7
分析化学1
制图1
力学1
医疗的4
卫生保健1
商业活动9
国际货币基金组织5
地质学2
基督教1
声学2
外交4
媒体4
广告8
建造1
微电子学2
微软1
心理学1
惯用语1
技术32
投资3
振动监测4
数学165
数学分析1
林业1
树液4
欧洲复兴开发银行17
水泥2
法律10
物理5
生产1
生物学2
电子产品11
电气工程1
社会学1
税收17
空气流体动力学1
空间3
纳米技术1
经济69
统计数据6
编程14
缩写1
联合国1
股票交易1
能源行业2
腾吉兹1
自动化设备4
自然资源和野生动物保护2
航海3
航空5
装甲车1
计算13
证券4
语言科学7
语音学1
财政15
质量控制和标准1
软件1
过时/过时2
运输2
速度滑冰1
逻辑11
道路工程2
里海1
铁路术语4
银行业14
马卡罗夫16