网站首页
词典首页
请输入您要查询的英文单词：
单词
formal mathematics
释义
formal mathematics
网络
形式的数学；形式数学；形式化数学
网络释义
1.
形式的数学
...作家史都华为本书修订版写序时，特别指出：「合乎逻辑
形式的数学
（
formal mathematics
）就像拼写与文法－－正确地使用 …
www.books.com.tw
2.
形式数学
...世纪，欧几里德的《几何原本》（Elements）的
形式数学
（
formal mathematics
）被编入几何学教科书，而且将逻辑推理的模 …
blog.163.com
3.
形式化数学
有三种方式阐述这一问题：自然语言、
形式化数学
（
formal mathematics
），或者一门程序语言；自然语言模糊、不精确而且罗 …
www.myexception.cn
例句
释义:
形式的数学,形式数学,形式化数学
随便看
truth-telling
truth to life
truth to nature
truth to tell
truth-value
truthvalue
truth value
truth value assignment
truth value conversion
truth-value function
truth-value gap
truth value matrix
truth-values
truth values
truth will out
truthy
Trutnov
TRU (transmit-receive unit)
trutta
truttine
trutv
Truva
truvada
truvativ
trux
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/8/18 13:14:38