No1-命题逻辑.pptVIP

离散数学能解决的问题 在计算机系统中，有多少种方式可以选择一个合法口令？ 两台计算机之间在网络上是否有通路？ 怎样鉴别E-mail信息中的垃圾邮件？ 怎样加密信息以避免不该收到的人读取该信息？ 在某一交通系统下，两个城市之间的最短路径是什么？ 有多少合法的因特网网址？ ………… 课程特点 离散数学课程是应计算机科学和技术发展的需要，综合了高等数学的多个分支而形成的。其特点是以离散量为研究对象，内容丰富，涉及面较宽。因此概念多、定理多、推理多并且内容较为抽象。但由于它是为学生后继专业知识的学习做必要的数学准备，因此它研究的内容均比较基础，难度不大。 教材及参考书 教材：《离散数学》左孝凌；上海科学技术文献出版社；（课） 参考书： 1、《离散数学》耿素云、屈婉玲、张立昂编，清华 大学出版社，2008 2、 《离散数学及其应用》（美）罗森 著，袁崇义等译，机械工业出版社，2011 离散数学(主要内容) 第一章 命题逻辑 第二章 谓词逻辑 第三章 集合与关系 第四章 函数 第五章 代数结构 第六章 图论 第一章 命题逻辑 逻辑：是研究推理的科学，公元前4世纪由希腊的亚里士多德首创。作为一门独立科学，十七世纪，德国莱布尼兹给逻辑学引进了符号，又称为数理逻辑。 逻辑可分为： 1.形式逻辑（通过数学方法） 数理逻辑 2.辩