离散数学数理逻辑.pptVIP

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