离散数学配套电子教案第一章..pptVIP

联 系 信 息 主讲教师：曹晓东教授 办公室：综合楼305 E-mail:caoaihe@ 联系电话O)助教：杜东(4,5,6班） E-mail:1026986427@吴尧:(1,2,3班) E-mail: wuyao_dlut@163.com离散数学研究各种离散形式的对象及其离散对象的 结构和之间的关系。它是信息科学和计算机科学的 数学基础。在美国ACM和IEEE最新推出的 Computing Curricula 2005课程体系和我国教育部 高等教育司组织评审通过的《中国计算机科学与技 术学科教程2002》（CCC2002）中，离散数学都 被列入核心课程。 离散数学在数据结构、算法设计与分析、操作系统 编译系统、人工智能、软件工程、网络与分布式计 算、计算机图形学、人机交互及计算机体系结构等 领域都有广泛应用。此外，它所体现的现代数学思想对于培养学生的抽象思维和逻辑思维能力，提高发现问题、分析问题和解决问题的能力也有着不可替代的作用。 第一部分 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 第一章 命题逻辑的基本概念 主要内容 命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值 命