自考 [6Q搜集]离散数学-勘误.docVIP

自考 [6Q搜集]离散数学-勘误 “离散数学”全国统编教材勘误表（北京地区不适用） 课程代码：2324 左孝凌 主编离散数学，经济出版社 2000年9月第一版 p7, 倒数第8行，原文为“……但PV→Q，┓P∧R等都不是命题公式。” 错误之处：┓P∧R应是命题公式 。 p14，倒数第4行，习题2 e)原文为“ (P→R)∨(Q→R)〈＝〉(P∨Q)→R”，应更正为“(P→R)∨(Q→R)〈＝〉(P∧Q)→R” p15，第7行，习题4 d)原文为：“(P→Q)∨(Q→R) ＝〉CP→R” ，错误之处：此蕴含式无法证明，CP→R不是合式公式。 p18页，定义1.5.5中“三个命题变元P,Q,R构成的大项有：……”其中的第6个大项少了一个变元，应补齐为“┓P∨Q∨┓R”。 p19，第13行，例3中原文为“解：本题p∧q∨r，实际是(p∧g)∧r”， 应更正为：“……实际是(p∧q)∨r”。 p20，倒数第10行，原文为：“(a)若A可化为与其等价的、含有2^n个小项的主合取范式，则A为永真式。” 应将其中的“主合取范式”更正为“主析取范式”。 p22，不计表格倒数第6行，原文为：“〈＝〉p∨┓q=m01〈＝〉m00∨m10∨m11=Σ(0,2,3)”，其中“m01”应更正为“M01”，表示大项。 p32,习题1，b)式中少一括号，可在(x)(y)之后加一(。 p32，习题4中也少一括号，致使无法判断。 p32,习题5,d)式中“┓(x)(┓y)(x+y=0)”中“(┓y)”无意义，可更正为“(y)”。 p32,习题6，d)式中“xyx(x-y=z)”中的“x”也无意义，似应更正为“z”。 p36,习题4,a)式中“→”后多了一个括号“(”。 p40,习题4中最后一句因而有的人爱步行应更正为有的人不爱步行。 p41页起，所有的空集符号中，有的表示为Φ，有的表示为，它们是同一个符号。 p49页，倒数第4行，原文为“∴(B∪C)(A×B)∪(A×C)。”，应更正为“∴A×(B∪C)(A×B)∪(A×C)。” p59页，表示对称闭包的字母应统一为小写的“s”。 p62,图3.6.1中有几条弧中没画上箭头。 P63,证明定理3.6.1中的ρ是具有自反性时，原文为“证明：因为 ...，对于任意x∈S,必存在某个x0 ，使x∈Sj”,其中的“x0”应该为“j0”。 P67，例2的解答案不全，应是/={2,6,2,12,2,24,2,36,3,6,3,12,3,24,3,36, 6,12,6,24,6,36,12,24,12,36,2,2,3,3,6,6,12,12, 24,24,36,36} p69,第1行，原文为“COVB={2,14,…”，其中的COVB”应更正为“COVA” p69,第5行，原文为“B的极大元集合{12,21}”应更正为“B的极大元集合 {14,21}”。 同页，还有几处漏印了标点“,”。不一一指出。 p80,例11，原文为“设有代数系统I,x,其中I是整数集合，“×”是普通乘法……所以O是关于运算x的零元。”其中的这两个“x”应为“×”。 p81,第3行,原文为“若一个元素b，既是a的左逆元，又是a的右逆元，则称b是a的一个逆元，记作b-1。”其中的“b-1”应为“a-1”。同页倒数第2行，证明的最后为“=e。”，应更正为“=c。”。 p82,第5行起，解例题的这一段内容中的幺元及逆元表示为“O”(英文字母O)，实对于这两个实例而言，应用“0”(数字0)来表示。 p84,例3中，原文为“证明，代数系统Zm,+m和Zm,Xm这两个代数系统是独异点。”其中的“Xm”应为“×m”。 p85,习题4，6中的“R，O”及“S，O”应更正为“ R，。和 S,。。 p89,定义4.3.7中，原文“在例2中，60°就是群{0°，60°，120°，180°，140°，300°},☆的生成元”，其中140°应更正为240°。 P94，95，这节课的定理及定义中，“0”就是“θ”，即加法幺元。 P95，定义4.4.6（1）R有幺元应改为R有乘法幺元 （2）每个非零元有逆元应改为有乘法逆元。 P96,例4中的“c+√d 2”应为“c+d√2”(√表示根号)。 p104，第2行，原文为“图4.6.2的(b)所示的格是非配格”，“非配格”应更正为“分配格”。 p104,例5中，原文为“设S={1,2,3,4,5},……”应更正为：“设S={0,1,2,3,4,5},……” P106，定义4.7.2中　　＜S，∧，∨，7,1，0＞应更正为＜S，∧，∨，┑,1，0＞ p111,倒数第3行，原文为“Δ(G)=Δ=5”，实际应为“Δ(G)=Δ=4”。 P112，1、定义5.1.7第四行，原文是“E′E，V′V”，应更正为“E′E，V′＝V”。 P112