网站首页
词典首页
请输入您要查询的英文单词：
单词
formal mathematics
释义
formal mathematics
网络
形式的数学；形式数学；形式化数学
网络释义
1.
形式的数学
...作家史都华为本书修订版写序时，特别指出：「合乎逻辑
形式的数学
（
formal mathematics
）就像拼写与文法－－正确地使用 …
www.books.com.tw
2.
形式数学
...世纪，欧几里德的《几何原本》（Elements）的
形式数学
（
formal mathematics
）被编入几何学教科书，而且将逻辑推理的模 …
blog.163.com
3.
形式化数学
有三种方式阐述这一问题：自然语言、
形式化数学
（
formal mathematics
），或者一门程序语言；自然语言模糊、不精确而且罗 …
www.myexception.cn
例句
释义:
形式的数学,形式数学,形式化数学
随便看
interrupt descriptor
interrupt device
interrupt device code
interrupt disable
interrupt dispatch block
interrupt driven
interrupt driven
interrupt-driven processing
interrupt-drive system
interrupted
interrupted acoustical ceiling
interrupted ageing
interrupted ageing treatment
interrupted aging
interrupted aortic arch
interrupted arc
interrupted-arc
interrupted arc method
interrupted-arc method
interrupted autooscillation
interrupted cadence
interrupted chimb drum
interrupted circuit
interrupted ciruit
interrupted continuous wave
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2024/11/15 17:52:38