1、离 散 数 学唐存琛 刘峰武汉大学国际软件学院1教材与参考资料 教材： 离散数学 （第 2版），屈婉玲、耿素云、张立昂编，清华大学出版社 参考资料： 离散数学 ， 刘玉珍、刘咏梅编，武汉大学出版社 Discrete Mathematical StructuresBernard Kolman, Fobert C. Busby and Sharon Ross 著Prentice Hall出版社 Discrete Mathematics and Its Applications， 美 Kenneth H. Rosen2课程主要内容 数理逻辑 集合论 图论 代数系统 * 3目的、意义和要求 研究内容：
2、离散量的结构及其相互间的关系。 意 义：计算机科学的理论基础。 目 的： 打基础 必备的数学知识 培养抽象思维能力、逻辑推理能力 教学要求： 内容：第 1-7 章、第 9章（重点），第 14章备选，第 8、 11章自学，第 10、 12、 13章不要求 作业：按时交、课后复习（概念、定理） 4学习要求1、课堂要求： 按时上课 认真听讲2、课外要求： 复习 (每次课后，安排半个小时 ) 认真、按时完成作业 (每次课后，安排 1个小时 )5学习考查方法1、出勤率： 10%不定期检查出勤情况2、作业完成情况： 10%对作业完成情况进行登记3、课堂测验 + 期中考试： 20%共 5 次4、期末考试（闭
3、卷）： 60%6第一篇 数理逻辑第 1章 导 论 数理逻辑的概念 数理逻辑的发展简史 数理逻辑的地位和作用7（ 1）定义1.1 数理逻辑的概念数理逻辑是采用数学方法研究抽象思维推理规律（形式推理）的一门科学。n命题逻辑是数理逻辑的基本组成部分之一n推理的基本要素是命题n把命题作为基本单位来分析符号化 研究公式间的关系 推导、演算 8（ 2）方法引入一套 数学符号系统 来进行研究，强调推理过程中前提和结论之间的形式关系。例： A、 B、 C、 D4人做百米竞赛，观众甲、乙、丙预报比赛结果的名次为：甲： C第一， B第二乙： C第二， D第三丙： A第二， D第四比赛结束后发现甲乙丙每人报告的情况都各对一半，试问实际名次如何？1.引入 pi,qi,ri,si分别表示 “A排名第 i， B排名第 i ， C排名第 i ， D排名第 i”2. 给出个命题之间的关系（ 1） (r1 q2) (r1 q2) 1（ 2） (r2 s3) (r2 s3) 1（ 3） (p2 s4) (p2 s4) 13.通过演算规则，得出结果9（ 3）内容谓词逻辑命题逻辑10
