英语人>网络解释>arithmetization 相关的网络解释
arithmetization相关的网络解释

查询词典 arithmetization

与 arithmetization 相关的网络解释 [注:此内容来源于网络,仅供参考]

arithmetization of formal system:正式系统算术化

算术化 arithmetization | 正式系统算术化 arithmetization of formal system | 运算图 arithmograph

arithmetically:在算术方法上

算术级数 arithmetical progression,AP | 在算术方法上 arithmetically | 算术化 arithmetization

arithmetician:算术家

arithmetically 算术上 | arithmetician 算术家 | arithmetization 算术化

arithmetization:算术化

原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,

logistic:符号逻辑

原先作为可直观的几何学发展成纯粹的解析几何,接踵而来的纯形式的「解析学(analysis)」、「集合论(theory of manifolds)」、「符号逻辑(logistic)」都意味着「算术化(arithmetization )」所导致的普遍「形式化(formalization )」,

arithmetize:用算术算出

arithmetization 算术化 | arithmetize 用算术算出 | arithmometer 计数器

arithmetize:用算术算出, 使用算术

arithmetization | 算术化 | arithmetize | 用算术算出, 使用算术 | arithmograph | 自动计算机算术图

arithmograph:自记计算器;运算图

arithmetization 算术化 | arithmograph 自记计算器;运算图 | arithmometer 四则计算机

arithmograph:运算图

正式系统算术化 arithmetization of formal system | 运算图 arithmograph | 四则运算器 arithmometer

推荐网络解释

antixerophthalmic factor:抗干眼因子

抗维生素 antivitamin | 抗干眼因子 antixerophthalmic factor | 抗干眼维生素 antixerophthalmic vitamin

January January:是一月, 一月January有新年

January, January是一月, 一月January有新年; | February, February是二月, 二月February有春节; | March , March是三月, 三月March 妇女节;

Trento:赵宇霆、陈博兴、慧小霞、张宏纲

Bologna:许纹毓、关晶 | Trento:赵宇霆、陈博兴、慧小霞、张宏纲 | Como:赵志强、马生爱、谢骥宁、唐志强