离散数学-数理逻辑详解.pptVIP

离 散 数 学 杨 敏 yangm@whu.edu.cn 武汉大学国际软件学院 教材与参考资料 教材： 《 离散数学 》（第2版），屈婉玲、耿素云、张立昂编，清华大学出版社 参考资料： 《离散数学》，刘玉珍、刘咏梅编，武汉大学出版社 《Discrete Mathematical Structures》(Sixth Edition)， Bernard Kolman, Fobert C. Busby and Sharon Ross ，高等教育出版社有影印版、译本 《Discrete Mathematics and Its Applications》(Sixth Edition)，[美]Kenneth H. Rosen，机械工业出版社影印版、译本 课程主要内容 数理逻辑 集合论 图论 代数系统* 目的、意义和要求 研究内容：离散量的结构及其相互间的关系。 意义：计算机科学的理论基础。 目的：打基础 必备的数学知识 培养抽象思维能力、逻辑推理能力 教学内容： 第1-7 章重点 第9、14章备选 第8、11章自学 第10、12、13章不要求 学习要求 学习考查方法 第一篇 数理逻辑第1章 导 论 数理逻辑的概念 数理逻辑的发展简史 数理逻辑的地位和作用 §1.1 数理逻辑的概念 §1.2 数理逻辑的发展简史 §1.3 数理逻辑的地位和作用 第2章 命题