`
javababy1
  • 浏览: 1165491 次
  • 性别: Icon_minigender_1
  • 来自: 北京
文章分类
社区版块
存档分类
最新评论

离散数学第一课

 
阅读更多

1、数理逻辑的历史
  逻辑是研究人类思维学科,最早是由古希腊学者亚里士多德创建的,他的《工具论》奠定了逻辑学的理论基础。中国最早的一部逻辑专著--《墨经》也创造了一个比较完整的逻辑体系。
  根据所研究的对象和方法的不同,逻辑学可分为形式逻辑、辩证逻辑和数理逻辑。数理逻辑得用数学方法研究推理,利用符号体系研究推理过程中前提和结论之间的关系,因此也叫符号逻辑。
  从十七世纪开始,就有一些学者试图用数学的方法来研究逻辑。德国的哲学家的数学家莱布尼兹(G.W.Leibniz)被公认为是数理逻辑的创始人。他认为数学之所以能发展如此迅速,数学知识之所以能如此有效,就是因为数学使用了特别的符号语言。这种符号语言为表达思想和进行推理提供了非常良好的条件。因此他提出了用一种象数学一样的表意符号体系来研究思维形式和规律,能简洁地表达出各种的推理的逻辑关系,使得推理过程就象数学一样可以利用公式来进行计算,以便用计算来解决争论。
1847年,英国数学家、逻辑学家布尔(G.Boole)发表了《逻辑的数学分析》(The mathematical Analysis of Logic),建立了“布尔代数”(Boolean Algebra),并创造一套符号系统,利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则,利用代数的方法研究逻辑问题,初步奠定了数理逻辑的基础。
十九世纪七十年代末至二十世纪初,为了理解数学命题的性质和数学思维规律,德国的弗雷格(G.Frege)、意大利的皮亚诺(G.Peano)和英国的罗素(B.Russell)建立了古典逻辑演算、命题演算和谓词演算。数理逻辑突破了古典形式逻辑的局限,形成了一个完整的逻辑体系.
而德国的希尔伯特(D.Hilbert)和哥德尔(K.Godel)的研究努力又使数理逻辑成为一门内容丰富的独立学科。
二十世纪四十年代以后,数理逻辑又逐步在开关线路(数字逻辑)、自动化系统、编译理论、算法设计等方面获得了非常广泛的应用,从而迅速成为计算科学的基础理论之一。
数理逻辑的主要内容,大致可分为5个方面:逻辑演算、证明论、公理集合论、递归论和模型论。最基本的内容是命题逻辑和谓词逻辑。目前,除了这些传统的分支外,又出现了与计算科学有关的应用逻辑:多值逻辑、模糊逻辑、时序逻辑、模态逻辑、非单调逻辑、程序逻辑。

2、为何要学数理逻辑
大家都知道计算机是很有用的,但是要让计算机解决问题,必须先编写出计算机能自动执行的正确程序。而编写程序的前提是设计出解决此问题的算法。因此算法被认为是计算科学的核心之一。通常我们认为程序、算法和逻辑有如下的关系:
程序 = 算法 + 数据结构
算法 = 逻辑 + 控制
这就说明为了设计出好的算法,算法设计人员必须具备很好的逻辑思维能力。我们的逻辑思维能力的高低则取决于我们的数理逻辑或形式逻辑的修养。学习数理逻辑,能培养和提高我们的逻辑思维能力,开拓我们解决问题的思路,同时也能帮助我们更好地学习计算科学的后继课程。

3、逻辑的作用
有人以为既然每个人都能思维,逻辑思维能力就应该是人所共有的能力,不必专门学习。这是不对的。一个人能思维,并不意味着他有很强的逻辑思维能力。每个人的逻辑思维能力是有高低之分的。
逻辑是所有学科的基础,是每个人所必须具备的基本能力。无论你想要学习那一门专业,要学得好,学得快,就要求你具有较强的逻辑思维能力。走上工作岗位后,要解决工作中的问题,也要求你具备这样的能力。
逻辑思维能力不是与生俱来的,需要通过后天的学习培养才有可能形成和提高。如果从小就接受一点逻辑训练,提高逻辑推理的能力,人的基本素质就会有很大提高,学习和工作的能力和效果就会有较大的改观。
   国内外大量的实践表明,对学生进行逻辑思维训练,可以提高学生推理的能力,思辩的能力,学习的能力,从而提高人的工作能力。考试GRE中,有三分之一是的逻辑推理题。这些题目不需要任何专业知识,都是一些日常生活中的思考题,但是需要考生具备较高的逻辑思维能力。
日常生活中,一个人的思维可以出偏差,可以有不合逻辑的小错误。学习和工作中则不同,逻辑混乱,导致的问题可能比较严重。特别是从事计算机软硬件研究开发工作的人,正确的逻辑思维能力显得尤其重要。
因此,专门的逻辑思维训练对每个人都是十分有必要的。

4、命题演算
命题是指有真假意义的陈述句。命题演算是数理逻辑的一部分,它主要研究命题如何通过一些命题联结词构成更复杂的命题以及逻辑推理的方法。
如果我们把命题看作运算的对象,如同代数中的数字、字母或代数式,而把逻辑联结词看作代数中的“加、减、乘、除”那样的运算,那么由简单命题组成复合命题的过程,就可以当作逻辑运算的过程,从而实现命题的演算。
这样的逻辑运算也同代数运算一样具有一定的性质,满足一定的运算规律。例如满足交换律、结合律、分配律,同时也满足逻辑上的同一律、吸收律、双否律、德.摩根定律、肯定律、否定律和析取三段论等推理定律。利用这些定律,我们可以进行逻辑推理,可以简化复合命题,可以推证两个复合命题是不是等价,某个命题是否是若干前提的有效结论等等。

5、命题演算的一个具体模型--逻辑代数
逻辑代数也叫开关代数,它的基本运算是逻辑加、逻辑乘和逻辑非,也就是命题演算中的“或”、“与”、“非”,运算对象只有两个数 0和 1,相当于命题演算中的“真”和“假”。
逻辑代数的运算特点是只有两种不同的状态(0和1),因此可以很方便地模拟和表示电路分析中的接通和断开状态,因此,它在电路分析中得到广泛的应用。
与门、或门和非门这三种基本门电路可以用对应的命题联结词表示出来,这就是逻辑元件。
“与逻辑”指的是:只有当决定某一事件的全部条件都具备之后,该事件才发生,否则就不发生的一种因果关系。“与门”是指能够实现与逻辑关系的门电路。与门具有两个或多个输入端(设为P,Q,…,),一个输出端(设为R)。与门的输出和输入之间的逻辑关系用逻辑表达式表示为:R=P Q …。
“或逻辑”指的是:在决定某事件的诸条件中,只要有一个或一个以上的条件具备,该事件就会发生;当所有条件都不具备时,该事件才不发生的一种因果关系。“或门”是指能够实现或逻辑关系的门电路。或门具有两个或多个输入端,(设为P,Q,…,)一个输出端(设为R)。 或门的输出与输入之间的逻辑关系用逻辑表达式表示为:R=P Q …。
“非逻辑”是指:决定某事件的唯一条件不满足时,该事件就发生;而条件满足时,该事件反而不发生的一种因果关系。“非门”是指能够实现非逻辑关系的门电路。它有一个输入端(设为R),一个输出端(设为P)。非门的输出与输入之间的逻辑关系用逻辑表达式表示为:R= P。
通过逻辑代数的表达式能把一个个独立的逻辑元件组合成各种逻辑网络,从而使对应的电子线路具有某种逻辑功能。因此,逻辑代数在逻辑电路设计中有十分重要的应用。

分享到:
评论

相关推荐

    离散数学课后答案 计算机专业

    自考计算机及应用专业 专业课 离散数学课后练习题答案,很详细的!

    计算机专业必修课--离散数学课件

    计算机专业必修课--离散数学 第一部分 数理逻辑 第二部分 集合论 第三部分 代数结构 第四部分 图论 。。。。。

    离散数学习题解答(第四版)

    如题,仅作学习辅助用,我也正在学这门课,很难很难,所以……

    《离散数学》第七章_图论-第3-4节

    《离散数学》课程是信息与计算科学专业的专业基础课程,也是应用性很强的一门数学课。离散数学是现代数学的一个重要分支,它是以数理逻辑、集合论、关系与函数、代数结构与布尔代数为讲授对象。是理论性较强、应用性...

    离散数学及其应用 第7版

    一本较好的教材,离散数学是基础入门课,需要好好掌握.

    清华大学:离散数学教程

    本书共分五篇,第一篇为集合论,第二篇为凸轮,第三篇为代数结构,第四篇为组合数学,第五篇为数理逻辑 本书体系严谨,内容丰富,配有大量的例题和习题,并与计算机科学的理论与实践密切相结合。 本书不仅适用于...

    离散数学答案

    第一章习题 1. 填空题 (1) 2 2 2 a b a = + ,当且仅当 0 = b 。 (2)假。 (3)2。 (4) ) ( R Q P → ¬ → ¬ (5)P为真且Q为假。 (6)4。 (7)永假式;永真式。 (8){}N F . T ,{}F . T (9)F; 3 2 ...

    大学开学第一课班会心得体会5篇.docx

    大学开学第一课班会心得体会5篇.docx

    离散数学及其应用(第五版) Part II

    一本计算机科学基础类数学读物。Stanford公开课《Algorithm: Design and Analysis》推荐的是《Mathematics for Computer Science》,为一个英文读物。对于大家来说,推荐大家阅读这本书,讲得也非常好,而且是中文版...

    离散数学及其应用(第五版) Part I

    一本计算机科学基础类数学读物。Stanford公开课《Algorithm: Design and Analysis》推荐的是《Mathematics for Computer Science》,为一个英文读物。对于大家来说,推荐大家阅读这本书,讲得也非常好,而且是中文版...

    第一讲:绪论与命题逻辑初步

    吴楠离散数学授课第一课 第一讲:绪论与命题逻辑初步

    第1章数理逻辑(命题逻辑)-2019.pdf

    离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论,数理逻辑,关系...离散数学 教学课件(配方世昌《离散数学(第三版)》) 第1章 数理逻辑(命题逻辑部分)文档作者:中南大学计算机学院 郑瑾副教授

    《计算机专业保研夏令营、欲推免专业课 & 数学知识点总结》预览版

    该资料对应所有学校夏令营包括欲推免考察范围,甚至包括少部分学校考察的离散数学知识点内容。 该资料的特点不光同于简单的知识点搬运整理,它融入了面试过程中考察点的细节,包括对一个问题,作为应试者如何回答的...

    经验贴-19级第一次讲座内容三1

    1、听力一共50分,全校统考,不用带收音机,教室用喇叭外放,音质还算可以,本人提 2、复试专业课为离散数学和编译原理,离散数学的教材是清华大学屈婉玲老师的教材,

    (4.5)--第四章数字特征习题课1

    第四章随机变量的数字特征习题课一、重点与难点1.重点数学期望的性质和计算2.难点数字特征的计算方差的性质和计算相关系数的性质和计算二、主要内容数学期望方差离散型

    [算法设计技巧与分析].(沙特)阿苏外耶.清晰版-1

    本书是国际著名算法专家李...本书结构简明,内容丰富,适合于作为计算机学科以及相关学科算法课程的教材和参考书,尤其适宜于学过数据结构和离散数学课程之后的算法课教材。同时也可作为从事算法研究的一本好的入门书。

    清华 邓俊辉 数据结构(第3版) 非扫描版

    序设计基础”、“面向对象技术”、“离散数学”以及“数据结构”等相关课程,构成了清华大 学计算机系专业基础课程体系中的一条重要脉络。近年来为强化学生在计算思维和实践能力方面 的训练力度,课程组通过研究,...

    武汉大学数学建模培训资料 MATLAB及其应用 MATLAB基础入门教程含代码及绘图 第2章 符号计算 共22页.pdf

    解算数学表达式、方程不是在离散化的数值点上进行,而是凭借一系列恒等式,数学定理,通过推理和演绎,获得解析结果。 特点: 一,相对于MATLAB的数值计算“引擎”和“函数库”而言,符号计算的“引擎”和“函数库”...

    测度论答案(第一版)

    第二版增加了第8章和第9章,分别介绍离散时间鞅、Hilbert空间和Banach空间上的测度。书中收录了作者在测度论方面的一些研究成果。 本书适合作为概率统计专业和其他数学专业的研究生教材,也可作为高等学校教学教师和...

Global site tag (gtag.js) - Google Analytics