网站首页
词典首页
请输入您要查询的英文单词：
单词
formal mathematics
释义
formal mathematics
网络
形式的数学；形式数学；形式化数学
网络释义
1.
形式的数学
...作家史都华为本书修订版写序时，特别指出：「合乎逻辑
形式的数学
（
formal mathematics
）就像拼写与文法－－正确地使用 …
www.books.com.tw
2.
形式数学
...世纪，欧几里德的《几何原本》（Elements）的
形式数学
（
formal mathematics
）被编入几何学教科书，而且将逻辑推理的模 …
blog.163.com
3.
形式化数学
有三种方式阐述这一问题：自然语言、
形式化数学
（
formal mathematics
），或者一门程序语言；自然语言模糊、不精确而且罗 …
www.myexception.cn
例句
释义:
形式的数学,形式数学,形式化数学
随便看
Pendolino
pendopo
Pend Oreille
pend'oreille
Pend Oreille L.
pen down
pen-downs
Pendra
pendragon
pen-dragon
pendragon
pen drawing
Pendred
pendreds syndrome
Pendred syndrome
pendrin
pen drive
pen-driven
pen-driver
pen-driver
pen drives
pen-driving mechanism
pen driving mechanism
Pendroy
pendry
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/10/1 19:51:28