1) axiomatic deductive mathematics
公理演绎数学
2) mathematical deduction
数理演绎
4) deductive math
演绎数学
1.
Another classification along the development of experiment mathematics is "deductive math" and "experiment math",which are based on the math research method.
“实验数学”与“数学实验”既有区别又有联系,不能混为一谈,它们与“数学建模”又是一对不同的概念,“演绎数学”与“实验数学”是随着实验数学的进一步发展而依数学研究方式不同形成的分类,它们之间不可能有严格的区分,更不可能互为对立。
5) Math deductive method
数学演绎法
1.
Math knowledge became the basic of science development; Math deductive method became an important reasoning ration.
解析几何的创立开拓了一个数学发展的新领域,数学知识成为近代科学发展的基础,数学演绎法成为科学认识的重要方法。
6) deductive inference
演绎推理
1.
The 20-year experiences show that forward inference is the higher level of deductive inference, with which the accura.
将演绎推理的2种思维模式诊断故障原理和方法作了详细介绍,并具体分析了各自的利弊。
2.
Deductive inference and non-deductive inference are often used in mathematical proof .
演绎推理和非演绎推理经常被运用到数学证明中。
3.
In this paper, some matter element conjunctives for dealing with non compatible problems have been put forward, and a set of matter element deductive inference rules have been set up.
从处理不相容问题的实际需要出发，提出了有关物元演算的若干物元联结词，并建立了一套旨在分析物元之间以及物元要素之间的逻辑关系的物元演绎推理规则，它尤其适用于不相容问题的分析处理。
补充资料：公理化数学
公理化数学是以逻辑为工具，用公理化的方法来试图包容数学中的“所有”知识。集合理论是公理化数学中的传统部分的基础，而现代数学中的范畴理论是以“类”这个概念为基础的。“类”是比集合更为基本的概念，因此，类的理论是集合理论中更为基础的部分。
目录
|
[编辑] 类的理论
类的理论是原公理化集合论中那些适用于集合与类的内容，是公理化的“朴素集合论”。
类 -- 集合 -- 对应 -- 关系 -- 函数
[编辑] 集合理论
[编辑] 数学系统
[编辑] 范畴理论
说明：补充资料仅用于学习参考，请勿用于其它任何用途。