科学网-数学思想的元语言——集合-赛义甫的博文
文章推薦指數： 80 %
切换到桌面版
数学思想的元语言——集合
精选
2020-12-1800:11
阅读：2968
在《「离散数学」是一门什么样的学科》中，我们曾提到两个关系，第一、数学与其它科学之间的关系：数学是用来解决其它科学问题的工具；第二、数理逻辑与数学之间的关系：数理逻辑是用来解决数学问题的工具。
抽象地看，这两种关系实际上是同一种「范式」(paradigm)： 输入——处理×求解——输出在第一种关系中，解决问题的对象是其它科学的问题，解决问题的工具是数学，这种范式的实现就是： 问题×数据集——数
延伸文章資訊
- 1漫谈集合语言 - 南京外国语学校
漫谈集合语言南京外国语学校 陈光立同学们进入高中之后，将面对一个崭新的数学世界．数学（必修1）中，我们首先要学习集合及其运算的有关 ...
- 2科学网-数学思想的元语言——集合-赛义甫的博文
其中，「数学问题」是用一阶语言、集合语言和数学符号构成的形式语言文本，「数学对象」在这里相当于上面模式中的「数据集」，它是由集合 ...
- 3集合论- 维基百科，自由的百科全书
集合論（英語：Set theory）或稱集論，是研究集合（由一堆抽象对象構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言...
- 4集合(数学) - 维基百科，自由的百科全书
集合（英語：Set，或簡稱集）是基本的数学概念，它是集合论的研究对象，指具有某种特定性质 ... 还有88种语言. 编辑链接. 本页面最后修订于2021年1月31日( ...
- 5set language - 集合語言 - 國家教育研究院雙語詞彙
集合語言. set language. 2003年6月 資訊與通信術語辭典. 名詞解釋: 指以集合理論來描述各類算法的語言。 集合語言. set language. 以set language ...
