北大离散数学cha1.ppt

离散数学 主讲教师:邹复民 　　离散数学是现代数学的一个重要分支。是计算机科学中基础理论的核心课程，为计算机科学提供了有力的理论基础和工具。离散数学的基本思想、概念和方法广泛地渗透到计算机科学与技术发展的各个领域，而且其基本理论和研究成果更是全面而系统地影响和推动着其发展。 　　离散数学的内容十分丰富，最重要，最核心的是：数理逻辑、集合论、代数系统和图论。本课程主要讲授以上四个方面的内容。 数理逻辑简介 　　数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科，它与数学的其它分支、计算机科学、人工智能、语言学等学科均有密切的联系。命题逻辑和一阶谓词逻辑是数理逻辑中最成熟的部分，在计算机科学中应用最为广泛，其中命题逻辑是数理逻辑的最基础部分，谓词逻辑是在它的基础上发展起来的。本课程在第一，二两章中介绍数理逻辑的内容。 第一章命题逻辑 第一节 命题符号化及联结词 内容：命题，逻辑联结词，命题符号化 (1)掌握命题概念 (2)掌握联结词含义及真值表 (3)掌握命题符号化方法 重点： 一、命题的概念 命题：能判断真假的陈述句。 例1、判断下列句子中哪些是命题。 (1) 北京是中国的首都。 (2) 雪是黑色的。 (4) 请把门关上！ (6) 地球外的星球上也有人。 例1、判断下列句子中哪些是命题。 (7) 明天有课吗？ (8) 本语句是假的。 (9) 小明和小林都是三好生。 (10) 小明和小林是好朋友。 判断一个语句是否为命题，首先看是否为陈述句，再看其真值是否唯一。 二、逻辑联结词。 (1) 李平既聪明又用功。 (2)李平虽然聪明，但不用功。 (3)李平不但聪明，而且用功。 (4)李平不是不聪明，而是不用功。 例3、一位父亲对儿子说：“如果我去书店，就一定给你买本《儿童画报》。”问：什么情况下父亲食言？ 解：可能情况有四种： (1) 父亲去了书店，给儿子买了《儿童画报》。 (2) 父亲去了书店，却没给儿子买《儿童画报》。 (3) 父亲没去书店，却给儿子买了《儿童画报》。 (4) 父亲没去书店，也没给儿子买《儿童画报》。 (1) 如果天不下雨，我就骑车上班。 (2) 只要天不下雨，我就骑车上班。 (3) 只有天不下雨，我才骑车上班。 (4) 除非天下雨，否则我就骑车上班。 (5) 如果天下雨，我就不骑车上班。 6、逻辑联结词与自然语言中联结词的关系。 否定——不是，没有，非，不。 合取——并且，同时，和，既…又…，不但…而且…，虽然…但是…。 析取——或者，或许，可能。 蕴涵——若…则…，假如…那么…，既然…那就…，倘若…就…。 等价——当且仅当，充分必要，相同，一样。 7、运算顺序 三、命题符号化。 步骤：(1) 找出各简单命题，分别符号化。 (2) 找出各联结词，把简单命题逐个联结起来。 例6、将下列命题符号化。 (1) 小王是游泳冠军或百米赛跑冠军。 (2) 小王现在在宿舍或在图书馆。 例6、将下列命题符号化。 (3) 选小王或小李中的一人当班长。 (4) 如果我上街，我就去书店看看，除非我很累。 (5) 小丽是计算机系的学生，她生于1982或1983年， 她是三好生。 第二节 命题公式及分类 内容：命题公式，重言式，矛盾式，可满足公式。 重点：(1) 掌握命题公式的定义及公式的真值表。 (2) 掌握重言式和矛盾式的定义及使用真 值表进行判断。 一、命题公式 通俗地说，命题公式是由命题常项，命题变项， 联结词，括号等组成的字符串。 例1、判断以下字符串中哪些是命题公式。 解：(1)、(2)、(6)是公式，(3)、(4)、(5)不是。 2、命题公式的层次。 5 3、真值表。 3、真值表。 (3) 对应每个赋值，计算各层次的值，直至整个公式。 例3、求下列命题公式的真值表。 例3、求下列命题公式的真值表。 二、重言式、矛盾式，可满足式。 2、判定方法:真值表法。 1、定义 例4、给定命题公式如下，请判断哪些是重言式，哪些是矛盾式，哪些是可满足式？ 例4、给定命题公式如下，请判断哪些是重言式，哪些是矛盾式，哪些是可满足式？ 解：列出各题真值表如下(步骤简略) (1)、(2)、(5)、(6)、(9)为重言式； (3)、(8)为矛盾式； (4)、(7)、(10)及以上的重言式均为可满足式。 第三节 等值演算 内容：等值关系，24个重要等值式，等值演算。 重点：(1) 掌握两公式等值的定义。 (2) 掌握24个重要等值式，并能利用其进行等值演算。 一、两命题公式间的等值关系。 2、判定 。 解：作真值表如下： 解：作真值表如下：