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

产品信息

更多...
价 格:面议

数学起源于人类早期的生产活动,古巴比伦人从远古时代开始已经积累了一定的数学知识,并能应用实际问题.从数学本身看,他们的数学知识也只是观察和经验所得,没有综合结论和证明,但也要充分肯定他们对数学所做出的贡献.

基础数学的知识与运用是个人与团体生活中不可或缺的一部分。其基本概念的精炼早在古埃及、美索不达米亚及古印度内的古代数学文本内便可观见.从那时开始,其发展便持续不断地有小幅度的进展.但当时的代数学和几何学长久以来仍处于独立的状态.

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

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

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

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

命题涵项就是指除了含有常项以外还含有变项的逻辑公式。常项是指一些确定的对象或者确定的属性和关系;变项是指一定范围内的任何一个,这个范围叫做变项的变域。命题涵项和命题演算不同,它无所谓真和假。如果以一定的对象概念代替变项,那么命题涵项就成为真的或假的命题了。命题涵项加上全称量词或者存在量词,那么它就成为全称命题或者特称命题了。