网站首页
词典首页
请输入您要查询的英文单词:
单词
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