自考离散数学串讲.pptVIP

离散数学【02324】;离散数学课程包括数理逻辑、集合论、代数结构、图论等部分。

数理逻辑包括命题演算和谓词演算，重点是公式演算与推理证明；

集合论的重点是关系理论与映射的描述；

代数结构主要是从系统宏观的代数方法去研究客观事物的各种性质与特征；

图论则着重于数形结合的描述以及各种实际应用。;国家自学考试时间为150分钟，在这段时间内，如果不对离散数学的基础知识有扎实的功底，就不可能得到理想的成绩。

考生一定要培养对概念、知识的熟练运用。

真值表、主析取和主合取范式、集合关系运算、群环域及图论几部分，容易出现考试内容，所占分值较高，考生要重点掌握。

;最后还要再提一下，基础知识是参加离散数学自学考试的关键，考查基础知识的基本题大约占试卷的百分之八十左右，要求我们一定要重点掌握。前面的选择和填空题都是考察对基本概念和原理的掌握情况，后面的分析计算题是考查理解和运用能力。;考核内容与考核要求

命题与命题联结词，要求达到“领会”层次。

能对命题进行符号化；

掌握命题联结词，能够使用联结词熟练构造复合命题。

命题公式的等值演算，要求达到“简单应用”层次。

掌握命题公式的概念，能够构造命题公式的真值表，能够正确判断重言式、矛盾式和可满足公式。

熟记常用的命题定律和蕴含式，掌握命题公式的等值关系和蕴含关系，能够进行简单的公式论证。

联结词完备集，要求达到“领会”层次。;重点：

命题与命题联结词，

将命题进行符号化，

命题公式的真值表，

命题公式的化简及命题的等值演算。;命题基本概念

数理逻辑的任务是采用数学方法研究抽象的思维规律，研究的中心问题是推理，而推理基本要素是命题。

具有确切真值的陈述句称作命题。

所谓真值就是命题为真或为假的性质。

判断一个语句是否为命题，首先要判断它是否是陈述句，然后判断是否具有唯一的真假值。

在判断一个陈述句是否具有唯一的真假时，要注意：一个陈述句的真假暂时不能唯一地确定，但总有一天可以唯一确定，与一个陈述句的真假不能唯一确定是两件事。;例如：明年国庆节是个晴天。

??然现在谁也不知道它的真值，但是到了明年国庆节，就能判断真假，因此它的真值仍然是唯一的。

例如：这个语句是错的。

不能判断真值。;例1.1判断下列句子中哪些构成命题。

(1)8不是素数;

(2)雪是黑的;

(3)到2049年世界人口将超过90亿;

(4)每台计算机都有唯一的IP地址;

(5)喜马拉雅山好高啊!

(6)基本粒子是不可分的;

(7)离散数学难学吗?

(8)请遵守交通规则

(9)x+1=2。;例1.2将下面命题符号化,并指出它们的真值。

(1)丌是有理数;

(2)所有的素数都是奇数;

(3)6是一个合数。;P;2.合取∧的定义;例1.4将下面命题符号化。

(1)2既是偶数,也是素数;

(2)我今天不但听了离散数学课,还听了数据结构课

(3)今天的离散数学课停上,美元上涨。

;3.析取∨的定义;例1.5将下面命题符号化。

(1)王小林是本年度校运动会的跳高或100米短跑的冠军

(2)我今天或者去听离散数学课,或者去听数据结构课。;此处,“或”表示的是“相容”的含义,也称为“同或”,即两者并不互相排斥,可能同时成立。

自然语言中有时会使用“或”来表示“相斥”的含义,即用“或”连接的两者不能同时成立,这样的语句不能表示为析取。;解:(1)设P:王小林今天去美国,Q:王小林今天去欧洲。显然,如果王小林今天去了美国,他就不可能去欧洲,反之也是一样。王小林没有分身术,他只能去一个地方。所以(1)不能简单地表示为PVQ

(2)设P:王小林坐火车去北京,Q:王小林乘飞机去北京。这个命题假设王小林只需乘坐一种交通工具即可到达北京。与(1)类似,王小林不能同时既坐火车又乘飞机。PVQ也不能精确地表达(2)中命题的含义。

(1)和(2)所表述的这两个例子有一个共同的特点,即复合命题中的两个原子命题不会同时成立，它们之间具有相斥性，这样的“或”表示的是“异或”。实际上，（1）和（2）均可表示为：

(P∧?Q)V(?P∧Q);4.P→Q的定义;例1.7将下面命题符号化。

(1)如果今天不下雨,我就去公园锻炼。

(2)如果我考试通过,就能拿到合格证书

解:(1)设P:今天下雨,Q:我去公园锻炼

故(1)可表示为P→Q。

注意：仅当今天没有下雨而我没去公园锻炼时,命题(1)为F

(2)设P:我考试通过,Q:我拿到合格证书。

故(2)可表示为P→Q。;需要注意,条件命题的前件和后件之间可以在语义上不存在逻辑关系。这与我们日常的表述是有差异的。

例1.8如果雪是黑的,则房间里有20张桌子

解:设P:雪是黑的;Q:房间里有20张桌子。

本例还是可以符号化为:P→Q。;例1.9将下列命题符号化。

(1)如果今天不下雨而且不刮风,我会去爬山;

(2)