主要研究离散对象的代数结构及相互关系.docVIP

离散数学简介 离散数学是现代数学的一个重要分支，是计算机科学与技术的理论基础。如果说“高科技本质上是数学技术”的话，计算机科学与技术基本上是离散数学技术。所以离散数学又称为计算机数学，是计算机科学与技术专业的核心、骨干课程。 本课程结合计算机学科的特点，主要研究离散对象的代数结构及相互关系。通过该课程的教学，使学生了解并掌握计算机科学中普遍地采用离散数学中的一些基本概念、基本思想和基本方法。通过本课程的学习将使学生得到良好的数学训练，从而进一步提高学生的抽象思维能力和逻辑推理能力，为其学习计算机专业各门后续课程做好必要的知识准备，并为从事计算机的应用提供理论基础。 离散数学应着重掌握数理逻辑、集合与关系、代数系统的一般性质、图论初步等方面的基本概念和简单应用，特别应注意体会书中的典型例题，以促进对主要内容的掌握。 第一章 命题逻辑 数理逻辑：研究人的思维形式和规律的科学称为逻辑学，由于研究的对象和方法各有侧重而又分为形式逻辑、辨证逻辑和数理逻辑。 数理逻辑是应用数学方法研究推理的科学，它作为计算机科学的一种重要知识表示工具，能将所研究的对象及其相互关系形式化，并进行简单的逻辑推理。数理逻辑又叫符号逻辑，因为它的主要工具是符号体系。数理逻辑的核心是把逻辑推理符号化，即变成象数学演算一样完全形式化的逻辑演算。 1.1 命题及其表示 所谓命题，是具有真假意义的陈述句，也就是能够确定或分辨其真假的陈述句，且真与假必居其一。简言之，命题是非真即假的陈述句。命题是真就说其真值为真，命题是假就称它的真值为假。真值只取两个：真或假。真值为真的命题称为真命题，真值为假的命题称为假命题。真命题表达的判断正确，假命题表达的判断错误。任何命题的真值都是唯一的。 注：判断给定句子是否为命题，应该分两步：首先判定它是否为陈述句，其次判断它是否有唯一的真值。 例1. 判断下列句子是否为命题。 (1) 4是素数；(2) 是无理数；(3) 大于；(4)月球上有冰；(5) 2100年元旦是晴天；(6) π大于吗？(7) 请不要吸烟！(8) 这朵花真美丽啊！(9) 我正在说假话。 解: 本题的9个句子中，(6)是疑问句，(7)是祈使句，(8)是感叹句，因而这3个句子都不是命题。剩下的6个句子都是陈述句，但(3)无确定的真值，根据的不同取值情况它可真可假，即没有唯一的真值，因而不是命题。 若(9)的真值为真，即“我正在说假话”为真，也就是“我正在说真话”，则又推出(9)的真值应为假；反之，若(9)的真值为假，即“我正在说假话”为假，也就是“我正在说真话”，则又推出(9)的真值应为真。于是(9)既不为真又不为假，因此它不是命题。像(9)这样由真推出假，又由假推出真的陈述句称为悖论。凡是悖论都不是命题。 本例中，只有(1)，(2)，(4)，(5)是命题。(1)为假命题，(2)为真命题。虽然今天我们不知道(4)，(5)的真值，但它们的真值客观存在，而且是唯一的，将来总会知道(4)的真值，到2100年元旦(5)的真值就真相大白了。 判断命题时应注意以下几点： 某些命题可能无法查明其真值，如：公元1100年元旦下雨； 命题真假会因时因地而异，如：现在是上午； 某些命题尚未确定其真值，如：2100年元旦是晴天； 那些“自称谓”的陈述句可能产生自相矛盾的结论(悖论)，故不在我们讨论之列。如：某人说:“我正在说谎”。 注意: 数理逻辑的任务不在于研究某个具体命题的真假问题，而在于它可以赋予真或假的可能性，特别是研究各命题规定其真值后它们之间的联系。 根据命题的构成形式，可以将命题分为： 原子命题：不能再细分的命题称为原子命题。 复合命题：由原子命题和命题联结词构成。 例如，“明天下雪”、“是素数”都是原子命题，而“明天下雪或明天下雨”是复合命题。 1．2 命题联结词 命题联结词又称为逻辑运算符，常用的有五种：否定词、合取词、析取词、蕴涵词和等值词。对于每种联结词，可以用真值表表示其运算规则。 （1） 否定词 设为命题，那么“不真”为另一命题，表示为，叫做的否定，读做“非”。 例1. 设：这些都是男生；则：这些不都是男生（不能译成“这些都不是男生”）。 （2）合取词 如果和是命题，那么“并且”也是命题，记为，称为与的合取，读做“与”或“并且”。为真当且仅当和都为真。的真值表如下： F F F F T F T F F T T T 例2 ：是素数，：是偶数；则：是素数，并且是偶数。 （3）析取词 如果和是命题，那么“或”也是命题，记为，称为与的析取，读做“或”。为真当且仅当或至少有一个为真。的真值表如下：