网站首页
词典首页
请输入您要查询的英文单词:
单词
formal mathematics
释义
formal mathematics
网络
形式的数学;形式数学;形式化数学
网络释义
1.
形式的数学
...作家史都华为本书修订版写序时,特别指出:「合乎逻辑
形式的数学
(
formal mathematics
)就像拼写与文法--正确地使用 …
www.books.com.tw
2.
形式数学
...世纪,欧几里德的《几何原本》(Elements)的
形式数学
(
formal mathematics
)被编入几何学教科书,而且将逻辑推理的模 …
blog.163.com
3.
形式化数学
有三种方式阐述这一问题:自然语言、
形式化数学
(
formal mathematics
),或者一门程序语言;自然语言模糊、不精确而且罗 …
www.myexception.cn
例句
释义:
形式的数学,形式数学,形式化数学
随便看
Tootsie Roll
tootsies
toot sweet
tootsy
tootsy-wootsy
tootsywootsy
tootsy wootsy
toot-toot
tooty
Toot you own horn
toot your own horn
to our amazement
to our annoyance
to our astonishment
to our cost
to our credit
to our dismay
to our fingertips
to our great joy
to our hand
to our heart s content
to our heart's content
to our horror
to our knowledge
to our liking
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2026/9/18 14:44:21