登录
|
Chinese
|
使用条款
词典
论坛
联络
俄语
⇄
世界语
中文
丹麦语
乌克兰语
俄语
匈牙利语
南非荷兰语
土耳其语
塔吉克语
塞尔维亚拉丁语
巴什基尔语
希伯来语
德语
意大利语
拉脱维亚语
挪威博克马尔语
捷克语
日语
格鲁吉亚语
法语
波兰语
爱沙尼亚语
芬兰语
英语
荷兰语
葡萄牙语
西班牙语
越南语
阿拉伯语
G
o
o
g
l
e
|
Forvo
|
+
短语
исчисление
名词
强调
一般
ҳисоб
(
В. Бузаков
)
;
ҳисоб кардан
;
ҳисоб кардани
;
ҳисоб карда баромадан
;
ҳисоб карда баромадани
数学
ҳисобкунӣ
(номи фаслҳои математикои олӣ)
俄语 词库
исчисление
名词
一般
знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов
слов
и формул
фраз
, и процесса вывода потенциально значимых
истинных
формул исчисления
его фразеологии
из некоторого фиксируемого в том же языке набора формул-аксиом. Любое исчисление однозначно определяется заданием алфавита исчисления, правил образования языка в алфавите, множества аксиом и правил преобразования
вывода
его фразеологии. Приписывание символам исчисления значений, т. е. рассмотрение исчислений как знаковой системы
интерпретация исчислений
, преобразует исчисление в формализованный язык. Основные примеры исчисления: числовые и алгебраические системы, логические исчисления.
Большой Энциклопедический словарь
исчисление:
12 短语
, 2
学科
一般
8
数学
4
增加
|
报告错误
|
获取短网址
|
语言选择诀窍