离散数学概论 第2版 概述.ppt

理学院理学院理学院*数理逻辑简介集合论简介图论简介代数系统简介参考书推荐及作业要求本书主要内容*数理逻辑简介数理逻辑使用数学方法研究逻辑的学科，它即是逻辑学的一个分支，也是数学的一个分支，因此数理逻辑又称符号逻辑。广义上，数理逻辑包括证明论、模型论、递归函数论、公理化集合论等。“命题逻辑”+“谓词逻辑”（基本且重要）*数理逻辑简介生活中常见的逻辑问题：例：如果今天下雨，我就不去图书馆。通常等同：如果今天不下雨，我就去图书馆。痞子蔡在《第一次亲密接触》中的一段曾经风靡一时：如果我有一千万，我就能买一栋房子。我没有一千万，所以我仍然没有房子。（逻辑错误）*集合论简介集合论是研究集合（由一堆抽象物件构成的整体）的数学理论。集合论时数学大厦的基石。本篇主要介绍集合论的基础知识如集合运算、性质、关系和函数等。中学对集合论的学习主要基于实数集，现在时一般集合。*图论简介图论是以图为研究对象，图由若干给定的点及线所构成。图论能巧妙地解决某些问题，用点代表事物，用线表示相应两个事物间具有这种关系。例：幼儿园里要举行一场游戏，将幼儿园的小朋友分成五个队伍并且两两进行比赛，一共要比赛多少场？*图论简介例：幼儿园里要举行一场游戏，将幼儿园的小朋友分成五个队伍并且两两进行比赛，一共要比赛多少场？运用排列组合：C52=10运用图：*图论简介图论是以图为研究对象，图由若干给定的点及线所构成。图论能巧妙地解决某些问题，用点代表事物，用线表示相应两个事物间具有这种关系。本篇主要介绍一些特殊的图例如欧拉图、哈密顿图和树的基本理论。*参考书推荐离散数学，狄素云、屈婉玲编，高等教育出版社离散数学，左孝凌、李为鑑、刘永才编著，上海科学技术文献出版社DiscreteMathematicsanditsApplication,KennethH.Rosen,机械出版社*作业及要求基本要求：按要求完成每节课程所布置的作业。特别要求：书后习题全部完成。*期末考核平时成绩+期末考试成绩。平时成绩包括：每周作业|课堂小测|编程实现|点名理学院理学院理学院