1、“离散数学”全国统编教材勘误表(北京地区不适用)课程代码:2324左孝凌 主编,经济出版社 2000 年 9月第一版p7, 倒数第 8行,原文为“但 PVQ,PR 等都不是命题公式。 ” 错误之处:PR应是命题公式 。p14,倒数第 4行,习题 2 e)原文为“ (PR)(QR)(PQ)R” ,应更正为“(PR)(QR)(PQ)R”p15,第 7行,习题 4 d)原文为:“(PQ)(QR) CPR” ,错误之处:此蕴含式无法证明,CPR 不是合式公式。p18页,定义 1.5.5中“三个命题变元 P,Q,R构成的大项有:”其中的第 6个大项少了一个变元,应补齐为“PQR” 。p19,第 13行,
2、例 3中原文为“解:本题 pqr,实际是(pg)r” , 应更正为:“实际是(pq)r” 。 p20,倒数第 10行,原文为:“(a)若 A可化为与其等价的、含有 2n个小项的主合取范式,则 A为永真式。 ” 应将其中的“主合取范式”更正为“主析取范式” 。p22,不计表格倒数第 6行,原文为:“pq=m01m00m10m11=(0,2,3)”,其中“m01”应更正为“M01” ,表示大项。 p32,习题 1,b)式中少一括号,可在(x)(y)之后加一“(“。 p32,习题 4中也少一括号,致使无法判断。p32,习题 5,d)式中“(x)(y)(x+y=0)”中“(y)”无意义,可更正为“(y
3、)” 。p32,习题 6,d)式中“xyx(x-y=z)”中的“x”也无意义,似应更正为“z” 。p36,习题 4,a)式中“”后多了一个括号“(” 。p40,习题 4中最后一句“因而有的人爱步行“应更正为“有的人不爱步行“。p41页起,所有的空集符号中,有的表示为 ,有的表示为,它们是同一个符号。p49页,倒数第 4行,原文为“(BC)(AB)(AC)。 ”,应更正为“A(BC)(AB)(AC)。 ”p59页,表示对称闭包的字母应统一为小写的“s” 。p62,图 3.6.1中有几条弧中没画上箭头。P63,证明定理 3.6.1中的 是具有自反性时,原文为“证明:因为 .,对于任意 xS,必存在
4、某个 x0 ,使 xSj”,其中的“x0”应该为“j0” 。P67,例 2的解答案不全,应是/=, , ,p69,第 1行,原文为“COVB=,” ,其中的“COVB”应更正为“COVA”p69,第 5行,原文为“B 的极大元集合12,21”应更正为“B 的极大元集合 14,21” 。同页,还有几处漏印了标点“,” 。不一一指出。p80,例 11,原文为“设有代数系统,其中 I是整数集合, “”是普通乘法所以 O是关于运算 x的零元。 ”其中的这两个“x”应为“” 。p81,第 3行,原文为“若一个元素 b,既是 a的左逆元,又是 a的右逆元,则称 b是 a的一个逆元,记作 b-1。 ”其中的
5、“b-1”应为“a-1” 。同页倒数第 2行,证明的最后为“=e。 ”,应更正为“=c。 ”。p82,第 5行起,解例题的这一段内容中的幺元及逆元表示为“O”(英文字母 O),实对于这两个实例而言,应用“0”(数字 0)来表示。p84,例 3中,原文为“证明,代数系统和这两个代数系统是独异点。 ”其中的“Xm”应为“m” 。p85,习题 4,6 中的“”及“”应更正为“和。p89,定义 4.3.7中,原文“在例 2中,60就是群的生成元” ,其中 140应更正为 240。P94,95,这节课的定理及定义中, “0”就是“” ,即加法幺元。P95,定义 4.4.6(1)R 有幺元应改为 R有乘法
6、幺元 (2)每个非零元有逆元应改为有乘法逆元。P96,例 4中的“c+d 2”应为“c+d2”(表示根号)。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,0p111,倒数第 3行,原文为“(G)=5” ,实际应为“(G)=4” 。P112,1、定义 5.1.7第四行,原文是“EE,VV” ,应更正为“EE,VV” 。P112,图 5.1.8中指出两个图同构,但因为图 a中
7、有 2个 4度点,而图 b都是 3度点,它们是不同构的。事实上,图 a中多了一条横线,也就是内部五角星的下面那条连线,应当去掉。p117,习题 2的图 5.2.6中少了一个箭头。p119,例 2中从开始给出的邻接矩阵到矩阵的运算都存在错误。应重新计算。P122 定理 5.4.2中第一行原来是:“有向图 G具有一条单向欧拉路,当且仅当是可达的”应改为:“有向图 G具有一条单向欧拉回路,当且仅当 G是弱连通”P123 定理 5.4.4中,原文为:“设 G具有几个结点的简单图 ”应更正为:“设 G是具有 n个结点的无向简单图”,定理 5.4.5同上。P125 ,定理 5.5.2中条件是 e条边,而证明过程是 m条边。m 应改为 e。P126 ,定理 5.5.3第一行及第二行,原文是:e3r6, 应改为:e3v6P128 ,定理 5.6.2证明过程中的第一段最后有“则 deg(vi)2” ,应更改为“deg(vi)2n” 。P131,例 4,公式中“(PV(PQ)(PVQ)R)”的“V”应为“” 。相应的图中也是如此。P134,第 9题图中,有一条边有两个权值,另一条边没有权值。