第三章推理理论-IIS7.ppt

第一章 命题逻辑;离散数学有何用？: 1．计算机的基础是0-1组成的2进制. 0-false,1-true 2进制-布尔代数即命题逻辑 George Boole 19世纪 英国数学老师，它首次将数学与逻辑联系起来。 1938 香农在其硕士论文中用布尔代数实现开关电路，布尔代数(命题逻辑)成为数字电路基础 由于所有内容(整数，实数，字符，汉字，图片，声音，视频，网页，……)进入电脑后，全是01组成的字符串，从而都可以用布尔运算即逻辑运算实现，命题逻辑成为计算机的基础。 命题逻辑将数学由连续变到离散，由高数进入离散。 Google采用逻辑运算进行搜索： 杨圣洪 000100010001110000 两者对应位置与运算。 离散数学 100100000000100001 000100000000100000 逻辑运算 1秒10亿;离散数学有何用？: 2．七桥问题，可用于网络爬虫去搜索下载网页. ;目的: 1．掌握离散数学四大??心内容（集合论、数理逻辑、代数结构、图论）的基本概念、基本理论、基本方法，训练提高学生的概括抽象能力、逻辑思维能力、归纳构造能力，培养学生严谨、完整、规范的科学态度和学习思维习惯。 2．通过课程实验的训练，应用所学理论锻炼学生在数学建模、设计算法、编写程序和调试方面的能力。 思考: 通过互联网或图书馆,查看离散数学与计算机哪些课程相关，数字电路设计，计算理论，数据库，编译原理，操作系统，体系结构……，写小论文。;学习方法: 1．勤查资料掌握每章的发展历史，与其他课程的横向联系，想明白为什么要学这些内容，在整个 计算机学科中处于什么位置—用途？ 2、提高听堂效率，课后立马看懂例题，争取当日做完习题，不过23点，越拖越学不下去。 3、勤于用程序解题，解能解之题！写程序是将你的算法，告诉计算机，让电脑解放人脑，你会发现电脑真的好蠢！人脑想办法让脑聪明起来。 4、多交流，同一道较难的题，往往有多种解法，有这本书的，其那本书的，有我的，有你的，有他的。;考核方法: 总评成绩= 25%*各章考试。5分*5次，随堂考，中考 12%*程序设计。2分*6次，不怕打断腿！ 10%*小班讨论。2分*5次 8%*作业 。 1分*8次，下次上课前交 5%*考勤 1分*5次 40%*期末考试 总之，平常不努力，单凭期末一次肯定不行！ 分数随时公布在kczx.hnu.cn 答疑：QQ群课程中心提问 ;引言 逻辑学是推理的基础，在社会学、自然科学尤其计算机学科中得到普遍应用。 数理逻辑是逻辑学的一个分支，也是数学的分支，它用数学方法研究推理规律，它采用符号的方法来描述和处理思维形式、思维过程和思维规律，它在程序设计、数字电路设计、计算机原理、人工智能等计算机课程得到了广泛应用。 命题逻辑是数理逻辑的基础部分， 但究竟什么是命题？ 如何表示命题？ 如何构造出复杂的命题？ 在本章将讨论这些问题。;1.1 命题及联结词 对错确定的陈述语句称为命题。如： (1)湖南大学是985学校。 (2)命题逻辑是计算机科学的基础课程。 (3)命题逻辑的数字电路的基础。 (4)4是素数。 (5)湖南大学坐落于湘江以东。 (6)2014年湖南大学游泳馆建成。 其中(1)、(2)、(3) 与事实相符，是对的、正确的，称为真命题，或者称命题的值为“真”，简记为T或数字1。 而(4)、(5)明显与事实不相符，是错的、不正确，称为假命题，或称命题的值为“假”，简记为F或数字0。 陈述句(6)的正确性，到2014年12月时能确定的，若届时开通了则它是对的、为真命题，否为假命题。;1.1 命题及联结词 对错确定的陈述语句称为命题。如： (7) x与y之和为100，其中x为整数，y为整数 (8)1加1等于10 (7)的对错不确定。当x为50、y为50时是对的，当x为51、y为52时是错的。 (8)的对错是不确定的，为二进制时正确，当为八进制、十进制时是错的，因此这两个陈述句不是命题。 (9)青枫峡的红叶真美呀！ (10)动作快点！ (11)你是杨老师吗？ 这三个语句不是陈述语句，因此不是命题。;1.1 命题及联结词 对错确定的陈述语句称为命题。如： (12)我在说假话。 (13)派出所说:必须先房子再能上户口 单位后勤说