File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1+ ---
2+ tags :
3+ - 数学
4+ dlink :
5+ author :
6+ - Zacharia2
7+ ---
8+ - ** 数学世界的事物**
9+ - 实体
10+ - 数学对象:数、图形、结构……,被研究的东西;
11+ - **除了属性,还有属性的持有者——实体。** 实体与属性相互依存,就像硬币的两面,共同构成了我们认知中的“事物”。
12+ - ==概念==:反映对象在空间形式和数量关系等方面本质属性的思维形式”,通常通过“内涵(本质属性)+ 外延(所指对象的全体)”来刻画。是我们理解、命名、区分各种数学对象的“词汇/术语”。
13+ - 属性
14+ - **==定义==**
15+ - **==性质==**:是“由内向外”的推导。对象⟹特征
16+ - 【数学对象(数、集合、函数、图形、代数结构等)或数学概念在其定义下所具有的、经证明成立的某种稳定的特征或规律,且这种特征或规律不依赖于具体表示方式或应用场景的改变而改变】
17+ - 【因为它是某个东西,所以它具备什么特征。】
18+ - ==判定==:是“由外向内”的确认。特征⟹对象
19+ - 【依据特定的一组充分条件或充要条件,通过逻辑推理确认数学对象是否归属于特定集合或类别,或是否具备特定性质的命题与过程。】
20+ - 【因为它具备某些特征,所以它是某个东西。】
21+ - ==命题==
22+ - ==公理==
23+ - 【是指依据人类理性的不证自明的基本事实。】
24+ - 【世界api【自然资源),相当于python提供的基本api】
25+ - ==猜想==
26+ - 【证明、证伪、不可被证】
27+ - ==假设==
28+ - ==引理==
29+ - 【证明过程中的辅助命题】
30+ - 【中间产物,相当复杂】
31+ - 【相当于python的函数】
32+ - ==定理==
33+ - 【是经过受逻辑限制的证明为真的陈述。】
34+ - 【相当复杂的推理【推理,基本作用)】
35+ - 【从公理或其他已被证明的定理出发,经过受逻辑限制的演绎推导,得到的另一个真命题。】
36+ - 【相当于python程序,或者一个打包好的程序级别的API【利用自然资源创造的事物)】
37+ - 【各种语言软件包的第三方库】
38+ - ==推论==
39+ - ==原理==
40+ - 【有无实践】
41+ - 【通过实践或是试验等,总结出来的,规则或概念。】
42+ - ==定律==
43+ - 【**定律是一种理论模型**,是描述客观世界变化规律的表达式或者文字。】
44+ - 【通过观察和试验发现的一种**规律性**,它描述了自然界中一种**恒定关系**或模式。】
45+ - 关系与运算
46+ - 结构与系统
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments