联系方式
  • 公司: 深圳精成学社数学辅导班
  • 地址: 深圳福田区百花园紫荆阁
  • 联系: 方老师
  • 手机: 13427980436
  • 邮箱: 365808458@qq.com
  • 微信: 13427980436
  •  
  • 本站共被浏览过 8795 次

产品信息

更多...
价 格:面议

现时数学已包括多个分支.创立于二十世纪三十年代的法国的布尔巴基学派则认为:数学,至少纯数学,是研究抽象结构的理论.结构,就是以初始概念和公理出发的演绎系统.他们认为,数学有三种基本的母结构:代数结构(群,环,域,格……)、序结构(偏序,全序……)、拓扑结构(邻域,极限,连通性,维数……). [1]

数学被应用在很多不同的领域上,包括科学、工程、医学和经济学等.数学在这些领域的应用一般被称为应用数学,有时亦会激起新的数学发现,并促成全新数学学科的发展.数学家也研究纯数学,也就是数学本身,而不以任何实际应用为目标.虽然有许多工作以研究纯数学为开端,但之后也许会发现合适的应用

空间的研究源自于欧式几何.三角学则结合了空间及数,且包含有非常著名的勾股定理、三角函数等。现今对空间的研究更推广到了更高维的几何、非欧几何及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何对象的描述,结合了数和空间的概念;亦有着拓扑群的研究,结合了结构与空间。李群被用来研究空间、结构及变化。

数理逻辑包括哪些内容呢?广义上,数理逻辑包括集合论、模型论、证明论、递归论。这里我们先介绍它的两个最基本的也是最重要的组成部分,就是“命题演算”和“谓词演算”。命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。

如果我们把命题看作运算的对象,如同代数中的数字、字母或代数式,而把逻辑连接词看作运算符号,就象代数中的“加、减、乘、除”那样,那么由简单命题组成复合命题的过程,就可以当作逻辑运算的过程,也就是命题的演算。这样的逻辑运算也同代数运算一样具有一定的性质,满足一定的运算规律。例如满足交换律、结合律、分配律,同时也满足逻辑上的同一律、吸收律、双否定律、狄摩根定律、三段论定律等等。利用这些定律,我们可以进行逻辑推理,可以简化复和命题,可以推证两个复合命题是不是等价,也就是它们的真值表是不是完全相同等等。

数理逻辑的主要分支包括:逻辑演算(包括命题演算和谓词演算)、模型论、证明论、递归论和公理化集合论。数理逻辑和计算机科学有许多重合之处,两者都属于模拟人类认知机理的科学。许多计算机科学的先驱者既是数学家、又是逻辑学家,如阿兰·图灵、邱奇等。

程序语言学、语义学的研究从模型论衍生而来,而程序验证则从模型论的模型检测衍生而来。

柯里——霍华德同构给出了“证明”和“程序”的等价性,这一结果与证明论有关,直觉逻辑和线性逻辑在此起了很大作用。λ演算和组合子逻辑这样的演算现在属于理想程序语言。

计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献,比如说自动定理证明和逻辑编程。