自考 离散数学教材BUG.doc

《自考 离散数学教材BUG.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、旧版关于一些教材勘误的讨论（2003-12-317:19:00）--------------------------------------------------------------------------------一串重要问题的讨论。晓津和虫虫。

2、jinxbin

3、虫虫：我先和你探讨一下.:)（1）、在第18页，倒数第3行第2个式子应由"│PVQV"修改为“│PVQV│R”.应该是倒数第8行，呵呵，害得我找了半天，算你行！:)))（2）、P74的例2:我认为“f。g”和“g。f”中的元素整个颠倒了。这个理解开始时我也像你一样，但是后来发现他是对的。f。g=f

4、(g(x),你用x=1,2,3代入算一下，是不是符合他的结果?（3）、在P75的定理3.10.5中的（1）应为“f^-1。f=Ix”“f。f^-1=Iy”，你可以结合P75的例3看一下！你的意思是不是要将Ix和Iy换一下?这个也一样，我开始时也这么理解，但是他是对的。（4）、对于3.7节的第3小题的第二个空我觉的答案应为（R是自反的）.这个答案阮同学指出是因为A≠φ（5）、对于3.7节的第1小题、在证明S具有传递性质的时候，我决的这样证明比较合适：设＜a，b＞，＜b，d＞∈S则存在c使＜a，c＞，＜c，b＞，＜b，c＞，＜c，d＞∈R∵R是传递的有＜a，c＞、＜c，

5、d＞∈R=>＜a，d＞∈R　　∴＜a，d＞∈S即:sS={│存在某个c,使＜a，c＞∈R且＜c，d＞∈R}故，S具有传递性.*****我觉得你的证明没证到点子上，最后结结果就是把b换成了d,这也不用证呀，就算是正确吧，证出传递性后呢，怎么样?还有自反和对称呀。:)******(6)、对于3.7节的第8小题，你的答案有在П1=П2的情况下，它们能构成A的划分。当П1-П2时，是个空集。空集是A的划分吗？7******你说得对，空集肯定不是划分，俺没辙啦，你的答案是。。。?****（7）、对于3.8节的第2题，A的极大元集合应为{4，5，6}同意你的观点。:)

6、（8）、对于3.8节的第4题，我觉的（b）和（c）小题的断言是真的，因为它们之间是交集的关系同意。你很酷！(9)、　对于3.9节的第4题，我觉的（c)不是函数，因为0不是自然数。同第1题的（g)道理一样。哈哈，这道题你出问题啦，难道这两天没看论坛，自然数中的成员又添新丁，0已经挤入自然数家族啦。（10）、对于3.6节的第1题，这道题目让我们求X的覆盖，是不是让我们通过相容关系来确定覆盖，如果是这样那我们可以利用书3.6节的最后一端的“不同覆盖可以在A上构造相同的相容关系”来反向应用之“同一个相容关系对应不同覆盖”随意给出一种符合覆盖定义的集合。如果不是这样，那我是不

7、是就可以　给出一种符合覆盖定义的集合？这个问题我和jhju也讨论过，因为覆盖有很多，根据一个相容关系不可能得到唯一的覆盖，所以我只随意给了一个。但是jhju说得根据相容关系来求，现在的问题是是不是所有的覆盖都能构成同一相相容关系?如果你能给出所有的符合条件的覆盖，我想谁也不会说你错的

8、986913384

9、61.164.243.143

10、ran

11、1

12、一串重要问题的讨论。晓津和虫虫。

13、jinxbin

14、“0已经挤入自然数家族啦”。这你没逗我玩吧？是不是官方消息？我已经习惯0不是自然数十几年了？那我考试可就把0按照自然数对待了。>（4）、对于3.7节的第3小题的第二个空我觉的

15、答案应为（R是自反的）.>这个答案阮同学指出是因为A≠φ对着定义3.7.3你仔细体会一下我觉的我的答案更有道理。7>（1）、在第18页，倒数第3行第2个式子应由"│PVQV"修改为“│PVQV│R”.>应该是倒数第8行，呵呵，害得我找了半天，算你行！:)))为了表示我的歉意，向你致敬并鞠躬（3个）。>(5）、对于3.7节的第1小题、在证明S具有传递性质的时候，我决的这样证明比较合适：>设＜a，b＞，＜b，d＞∈S则存在c使＜a，c＞，＜c，b＞，＜b，c＞，＜c，d＞∈R>∵R是传递的>有＜a，c＞、＜c，d＞∈R=>＜a，d＞∈R>　　∴＜a，d＞∈S即:S={<

16、a,d>│存在某个c,使＜a，c＞∈R且＜c，d＞∈R}>故，S具有传递性.>>*****我觉得你的证明没证到点子上，最后结结果就是把b换成了d,这也不用证呀，就算是正确吧，证出传递性后呢，>怎么样?还有自反和对称呀。:)******自反、对称我和你们的一样。我已经证明出了关键的并且是和条件相符S={│存在某个c,使＜a，c＞∈R且＜c，d＞∈R}成立。怎么还"就算正确"呢？你有什么高见？>（2）、P74的例2:我认为“f。g”和“g。f”中的元素整个颠倒了。>这个理解开始时我也像你一样，但是后来发现他是对的。>f。g=f(g(x),你用x=1,2,3