1、离离 散散 数数 学学Discrete Mathematics 1课程简介课程名称：离散数学英文名称： Discrete Mathematics离散数学： 离散数学是现代数学的一个重要分支，是计算机科学的核心课程。以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或无限个元素。离散数学与计算机科学中的数据结构、操作系统、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等课程紧密相关。是一门重要的基础课程。2教学内容：数理逻辑、集合论、代数结构、图论左孝凌等编著，离散数学，上海科学技术出版社， 1982年9月第 1版。王元元，张桂芸编著，离散数学导 论 ，科学出版社，
2、2002年2月第一版。美 Kenneth H,Rosen 著，袁崇义，屈婉玲等译，离散数学及其应用，第 4版，机械工业出版社， 2002年 1月第 1版。美 Richard Johnsonbaugh 著，王孝喜等译，离散数学，第 4版，电子工业出版社， 1999年 11月第 1版。教材及主要参考书3第 一 篇数 理 逻 辑4逻辑学逻辑学 （ logic)是一门研究思维形式及思维规律的科学。是一门研究思维形式及思维规律的科学。数理逻辑数理逻辑 （ mathematical logic)是用数学的方法来研究人类推理过程的一门是用数学的方法来研究人类推理过程的一门数学学科。其显著特征是符号化和形式化
3、，即数学学科。其显著特征是符号化和形式化，即把逻辑所涉及的把逻辑所涉及的 “概念、判断、推理概念、判断、推理 ”用符号来用符号来表示，用公理体系来刻划表示，用公理体系来刻划 , 并基于符号串形式的并基于符号串形式的演算来描述推理过程的一般规律。演算来描述推理过程的一般规律。 数理逻辑数理逻辑 又称 符号逻辑、现代逻辑 。 51、命题与真值（ 1）判断结果唯一的陈述句（ 2）命题的真值：判断的结果（ 3）真值的取值：真与假（ 4）真命题与假命题第一节 命题与联结词一、命题及其分类注意：感叹句、祈使句、疑问句都不是命题判断结果不唯一确定的不是命题，陈述句中的悖论不是命题第一章 命题逻辑基本概念6例 判断下列句子是否为命题.72、命题的分类（ 1）简单命题（也称原子命题）（ 2）复合命题3、简单命题符号化（ 1）用小写英文字母表示命题；（ 2）用 “1”表示真，用 “0”表示假8二、联结词与复合命题910
