登录
|
Chinese
|
使用条款
词典
论坛
联络
俄语
⇄
世界语
中文
丹麦语
乌克兰语
俄语
匈牙利语
南非荷兰语
吉尔吉斯语
土耳其语
塔吉克语
塞尔维亚拉丁语
巴什基尔语
希伯来语
希腊语
德语
意大利语
拉脱维亚语
挪威博克马尔语
捷克语
斯洛伐克语
日语
格鲁吉亚语
法语
波兰语
爱沙尼亚语
瑞典语
立陶宛语
罗马尼亚语
芬兰语
英语
荷兰语
葡萄牙语
西班牙语
越南语
阿拉伯语
高棉语
+
G
o
o
g
l
e
|
Forvo
|
+
短语
исчисление
名词
This HTML5 player is not supported by your browser
强调
一般
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
增加
|
报告错误
|
获取短网址