离散数学屈婉玲第十二章

合集下载

离散数学屈婉玲版课后习题

离散数学屈婉玲版课后习题

第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。

(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。

并且,如果3是无理数,则2也是无理数。

另外6能被2整除,6才能被4整除。

”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3) P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p →q)∧(p →r)⇔(p →(q ∧r))(4)(p ∧⌝q)∨(⌝p ∧q)⇔(p ∨q) ∧⌝(p ∧q)证明(2)(p →q)∧(p →r)⇔ (⌝p ∨q)∧(⌝p ∨r)⇔⌝p ∨(q ∧r))⇔p →(q ∧r)(4)(p ∧⌝q)∨(⌝p ∧q)⇔(p ∨(⌝p ∧q)) ∧(⌝q ∨(⌝p ∧q)⇔(p ∨⌝p)∧(p ∨q)∧(⌝q ∨⌝p) ∧(⌝q ∨q)⇔1∧(p ∨q)∧⌝(p ∧q)∧1⇔(p ∨q)∧⌝(p ∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p →q)→(⌝q ∨p)(2)⌝(p →q)∧q ∧r(3)(p ∨(q ∧r))→(p ∨q ∨r)解:(1)主析取范式(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔ (⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p∨(⌝q∨p))∧(⌝q∨(⌝q∨p))⇔1∧(p∨⌝q)⇔(p∨⌝q) ⇔ M1⇔∏(1)(2) 主合取范式为:⌝(p→q)∧q∧r⇔⌝(⌝p∨q)∧q∧r⇔(p∧⌝q)∧q∧r⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p∨(q∧r))→(p∨q∨r)⇔⌝(p∨(q∧r))→(p∨q∨r)⇔(⌝p∧(⌝q∨⌝r))∨(p∨q∨r)⇔(⌝p∨(p∨q∨r))∧((⌝q∨⌝r))∨(p∨q∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r ∨q 前提引入⑤¬r ④化简律⑥r ∧¬s 前提引入⑦r ⑥化简律⑧r ∧﹁r ⑤⑦ 合取由于最后一步r ∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有错误!未找到引用源。

高教离散数学修订版耿素云屈婉玲Part3代数系统部分

高教离散数学修订版耿素云屈婉玲Part3代数系统部分

图11
第十三章 习题课
解 图12
图13
图12

解:
单击添加副标题
感谢您的 欣赏
202X CIICK HERE TO ADD A TITLE
第二节 整环与域
第十二章 习题课
第十三章 格与布尔代数
第一节 格的定义与性质
图1
图2
第二节 子格与格同态
图4
第三节 分配格与有补格
图5
图7
图8
图9
第四节 布尔代数
图10
第五节 正规子群与商群
第六节 群的同态与同构
第七节 循环群与置换群
பைடு நூலகம்
图2
第十一章 习题课
解:

第十二章 环与域
第一节 环的定义与性质
第三部分 代数结构
第十章 代数系统
第一节 二元运算及其性质
第二节 代数系统
第十章 习题课

第十一章 半群与群
第一节 半群与独异点
第二节 群的定义与性质
第三节 子群
图1
第四节 陪集与拉格朗日定理

离散数学-屈婉玲-耿素云-张立昂-主编-高等教育出版社-课后最全答案

离散数学-屈婉玲-耿素云-张立昂-主编-高等教育出版社-课后最全答案

第一章命题逻辑基本概念课后练习题答案1.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.2.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.4.因为p与q不能同时为真.5.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)p q,真值为1;(4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1.返回第二章命题逻辑等值演算本章自测答案5.(1):∨∨,成真赋值为00、10、11;(2):0,矛盾式,无成真赋值;(3):∨∨∨∨∨∨∨,重言式,000、001、010、011、100、101、110、111全部为成真赋值;7.(1):∨∨∨∨⇔∧∧;(2):∨∨∨⇔∧∧∧;8.(1):1⇔∨∨∨,重言式;(2):∨⇔∨∨∨∨∨∨;(3):∧∧∧∧∧∧∧⇔0,矛盾式.11.(1):∨∨⇔∧∧∧∧;(2):∨∨∨∨∨∨∨⇔1;(3):0⇔∧∧∧.12.A⇔∧∧∧∧⇔∨∨.第三章命题逻辑的推理理论本章自测答案6.在解本题时,应首先将简单陈述语句符号化,然后写出推理的形式结构*,其次就是判断*是否为重言式,若*是重言式,推理就正确,否则推理就不正确,这里不考虑简单语句之间的内在联系(1)、(3)、(6)推理正确,其余的均不正确,下面以(1)、(2)为例,证明(1)推理正确,(2)推理不正确(1)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*1)在本推理中,从p与q的内在联系可以知道,p与q的内在联系可以知道,p与q不可能同时为真,但在证明时,不考虑这一点,而只考虑*1是否为重言式.可以用多种方法(如真值法、等值演算法、主析取式)证明*1为重言式,特别是,不难看出,当取A为p,B为q时,*1为假言推理定律,即(p→q)∧p→q ⇒ q(2)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*2)可以用多种方法证明*2不是重言式,比如,等值演算法、主析取范式(主和取范式法也可以)等(p→q)∧q→p⇔(┐p∨q) ∧q →p⇔q →p⇔┐p∨┐q⇔⇔∨∨从而可知,*2不是重言式,故推理不正确,注意,虽然这里的p与q同时为真或同时为假,但不考虑内在联系时,*2不是重言式,就认为推理不正确.9.设p:a是奇数,q:a能被2整除,r:a:是偶数推理的形式结构为(p→q┐)∧(r→q)→(r→┐p) (记为*)可以用多种方法证明*为重言式,下面用等值演算法证明:(p→┐q)∧(r→q)→(r→┐p)⇔(┐p∨┐q) ∨(q∨┐r)→(┐q∨┐r) (使用了交换律)⇔(p∨q)∨(┐p∧r)∨┐q∨┐r⇔(┐p∨q)∨(┐q∧┐r)⇔┐p∨(q∨┐q)∧┐r⇔110.设p:a,b两数之积为负数,q:a,b两数种恰有一个负数,r:a,b都是负数.推理的形式结构为(p→q)∧┐p→(┐q∧┐r)⇔(┐p∨q) ∧┐p→(┐q∧┐r)⇔┐p→(┐q∧┐r) (使用了吸收律)⇔p∨(┐q∧┐r)⇔∨∨∨由于主析取范式中只含有5个W极小项,故推理不正确.11.略14.证明的命题序列可不惟一,下面对每一小题各给出一个证明① p→(q→r)前提引入② P前提引入③ q→r①②假言推理④ q前提引入⑤ r③④假言推理⑥ r∨s前提引入(2)证明:① ┐(p∧r)前提引入② ┐q∨┐r①置换③ r前提引入④ ┐q ②③析取三段论⑤ p→q前提引入⑥ ┐p④⑤拒取式(3)证明:① p→q前提引入② ┐q∨q①置换③ (┐p∨q)∧(┐p∨p) ②置换④ ┐p∨(q∧p③置换⑤ p→(p∨q) ④置换15.(1)证明:① S结论否定引入② S→P前提引入③ P①②假言推理④ P→(q→r)前提引入⑤ q→r③④假言推论⑥ q前提引入⑦ r⑤⑥假言推理(2)证明:① p附加前提引入② p∨q①附加③ (p∨q)→(r∧s)前提引入④ r∧s②③假言推理⑤ s④化简⑥ s∨t⑤附加⑦ (s∨t)→u前提引入⑧ u⑥⑦拒取式16.(1)证明:① p结论否定引入② p→ ┐q前提引入③ ┐q ①②假言推理④ ┐r∨q前提引入⑤ ┐r③④析取三段论⑥ r∧┐s前提引入⑦ r⑥化简⑧ ┐r∧r⑤⑦合取(2)证明:① ┐(r∨s)结论否定引入② ┐r∨┐s①置换③ ┐r②化简④ ┐s②化简⑤ p→r前提引入⑥ ┐p③⑤拒取式⑦ q→s前提引入⑧ ┐q④⑦拒取式⑨ ┐p∧┐q⑥⑧合取⑩ ┐(p∨q)⑨置换口p∨q前提引入⑾①口┐(p∨q) ∧(p∨q) ⑩口合取17.设p:A到过受害者房间,q: A在11点以前离开,r:A犯谋杀罪,s:看门人看见过A。

离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案

离散数学答案 屈婉玲版 第二版 高等教育出版社课后答案

离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。

(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p?r)∧(﹁q∨s) ⇔(0?1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)?(p∧q∧﹁r) ⇔(1∧1∧1)? (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。

并且,如果3是无理数,则2也是无理数。

另外6能被2整除,6才能被4整除。

”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。

19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔ (⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p))⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1)(2) 主合取范式为:⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q)? ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x ).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解: F(x): 2=(x+)(x ).G(x): x+5=9.(1)在两个个体域中都解释为)(x xF ∀,在(a )中为假命题,在(b)中为真命题。

离散数学教学大纲精选全文

离散数学教学大纲精选全文

精选全文完整版可编辑修改离散数学教学大纲一、教学目标本课程的教学目标是:1.学习和掌握离散型关系结构的构成及分析方法,包括:集合论的主要内容:集合的基本概念、二元关系、函数、自然数和基数等;图论的主要内容:图的基本概念、欧拉图与哈密尔顿图、树、图的矩阵表示、平面图、图的着色、支配集、覆盖集、独立集与匹配、带权图及其应用等;2. 学习和掌握离散型代数结构的构成、性质和分析方法,熟悉半群、群、环、域、格、布尔代数等有着重要应用背景的代数模型;3. 学习和掌握组合配置的存在性证明和计数方法,并用于离散结构的性质分析。

4. 学习和掌握命题逻辑、一阶谓词逻辑的基本概念和推理方法。

5. 能够理论联系实际,用上述离散数学的描述工具和分析方法对实践中的离散系统进行建模和分析。

6. 通过严谨证明及正确逻辑推理的训练,进一步培养学生的抽象思维、计算思维能力和专业素质。

二、教学内容1.集合(教材第一章)●引言●预备知识(命题逻辑)●预备知识(一阶谓词逻辑)●集合的概念和集合之间的关系●集合的运算●基本的集合恒等式2.二元关系(教材第二章)●有序对与卡氏积●二元关系●关系的表示和关系的性质●关系的幂运算和闭包●等价关系和划分●序关系3.函数(教材第三章)●函数的基本概念、性质、合成、反函数4.自然数(教材第四章)●自然数的定义●自然数的性质5.基数(教材第五章)●集合的等势、有穷集合与无穷集合●基数和基数的比较与运算6.图(教材第七章)●图的基本概念●通路与回路●无向图和有向图的连通性●无向图的连通度7.欧拉图与哈密顿图(教材第八章)●欧拉图●哈密顿图8.树(教材第九章)●树9.图的矩阵表示(教材第十章)●图的矩阵表示10.平面图(教材第十一章)●平面图的基本概念●欧拉公式与平面图的判断●平面图的对偶图与外平面图●平面图与哈密顿图11.图的着色(教材第十二章)●点着色和色多项式●平面图着色和边着色12.支配集、覆盖集、独立集与匹配(教材第十三章)●支配集、点覆盖集、点独立集●边覆盖数与匹配●二部图中的匹配13.带权图及其应用(教材第十四章)●中国邮递员问题和货郎问题14. 代数系统(教材第十五章)●二元运算及其性质●代数系统、子代数和积代数●代数系统的同态与同构●同余关系与商代数15. 半群与独异点(教材第十六章)●半群与独异点16 . 群(教材第十七章)●群的定义和性质、子群●循环群、变换群与置换群●群的分解、正规子群与商群、群的同态与同构17. 环与域(教材第十八章)●环与域18. 格与布尔代数(教材第十九章)●格的定义和性质、子格、格同态与直积●模格、分配格、有补格与布尔代数19. 组合存在性定理(教材第二十章)●鸽巢原理和Ramsey定理20. 基本的计数公式(教材第二十一章)●两个计数原则、排列组合●二项式定理与组合恒等式●多项式定理21. 组合计数方法(教材第二十二章)●递推方程的公式解法●递推方程的其他求解方法●生成函数的定义和性质●生成函数、指数生成函数及应用●Catalan数与Stirling数22. 组合计数定理(教材第二十三章)●包含排斥原理与对称筛公式●Burnside引理与Polya定理23. 命题逻辑(教材第二十六章)●引言●命题和联结词●命题形式和真值表●联结词的完全集●推理形式●命题演算自然推理形式系统N●命题演算形式系统P●N与P的等价性●赋值与等值演算●命题范式●可靠性、和谐性与完备性24. 一阶谓词逻辑(教材第二十七章)●一阶谓词演算的符号化●一阶语言●一阶谓词演算形式系统NL●一阶谓词演算形式系统KL●NL与KL的等价性●KL的解释与赋值●KL的可靠性与和谐性●KL的和谐公式集三、教学方式以课堂讲授为主,辅以作业和练习,并配备助教对作业进行批改。

离散数学屈婉玲版课后答案

离散数学屈婉玲版课后答案

离散数学屈婉玲版课后答案【篇一:离散数学第四版课后答案】xt>第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。

分析首先应注意到,命题是陈述句,因而不是陈述句的句子都不是命题。

本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。

其次,4)这个句子是陈述句,但它表示的判断结果是不确定。

又因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因而作为命题,它们都是简单命题。

(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,而(13)是由联结词“且”联结起来的复合命题。

这里的“且”为“合取”联结词。

在日常生活中,合取联结词有许多表述法,例如,“虽然??,但是??”、“不仅??,而且??”、“一面??,一面??”、“??和??”、“??与??”等。

但要注意,有时“和”或“与”联结的是主语,构成简单命题。

例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,而不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。

1.2 (1)p: 2是无理数,p为真命题。

(2)p:5能被2整除,p为假命题。

(6)p→q。

其中,p:2是素数,q:三角形有三条边。

由于p与q都是真命题,因而p→q为假命题。

(7)p→q,其中,p:雪是黑色的,q:太阳从东方升起。

由于p为假命题,q为真命题,因而p→q为假命题。

(8)p:2000年10月1日天气晴好,今日(1999年2月 13日)我们还不知道p的真假,但p的真值是确定的(客观存在的),只是现在不知道而已。

(9)p:太阳系外的星球上的生物。

它的真值情况而定,是确定的。

离散数学第2版课后答案

离散数学第2版课后答案

5)?x?1(mod 5)????x?1(mod 3)
?x?3(mod8)??x?1(mod 3) : 求解同余方程组 ?x?1(mod 5)?
m1=8 , m2=3 ,m3=5 ,m=120 ,m1=15 , m2=40 , m3=24
15x≡1(mod 8),40x ≡1(mod 3),24x ≡1(mod 5的) 特解:
所以, p=3
11 计算 2400 mod 319 。
解:
14(2) 解同余方程: 56x≡88(mod 96) 。
解:
(1) (a,m)=(56,96)=8 , 8|96 ,方程有解
(2) a?=56/8=7 , b?=88/8=11 ,m?=96/8=12
(3)由辗转相除法可求得 p 和 q 满足 pa?+qm?=1 , p=-5 , q=3
?5x?7(mod 12)16(2) 解同余方程组 ? 7x?1(mod 10)?
解:
5x≡7(mod 12) ? 12?(5x -7) ? 4?(5x-7) 且 3?(5x- 7) ? 5x ≡7(mod 4)
且 5x≡7(mod 3) ∴同余方程 5x≡7(mod 12) 与同余方程
组??5x?7(mod 4) 同解
c1=7,c2=1,c3=4
19 . *设 m1 和 m2 是正整数, b1 和 b2 是整数。证明一次同余方程
5 .设 a、b、 c、 d 是正整数,满足 ab=cd 。证明: a4+b4+c4+d4 不是素数。 证明:设 11)(n-1)! ∴ n 整除 (1++?+2n-1adp?? ,其中 p 和 q 是互素的正整数 cbq aq=cp ? p?aq ? p?a (∵ p 和 q 互素) 于是, ?u?n ,使 a=pu ? c=qu

(完整版)离散数学答案屈婉玲版第二版高等教育出版社课后答案

(完整版)离散数学答案屈婉玲版第二版高等教育出版社课后答案
答:(1) 对于任意自然数x, 都有2x=x, 真值0.
(2) 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0.
11. 判断下列各式的类型:
(1)
(3) yF(x,y).
解:(1)因为 为永真式;
所以 为永真式;
(3)取解释I个体域为全体实数
F(x,y):x+y=5
所以,前件为任意实数x存在实数y使x+y=5,前件真;
②F(c) ①EI
③ x(F(x)→(G(a)∧R(x))) 前提引入
④F(c)→(G(a)∧R(c)) ③UI
⑤G(a)∧R(c) ②④假言推理
⑥R(c) ⑤化简
⑦F(c)∧R(c) ②⑥合取引入
⑧ x(F(x)∧R(x))⑦EG
第六章部分课后习题参考答案
5.确定下列命题是否为真:
(1) 真
(2) 假
解:阿A={会打篮球的人},B={会打排球的人},C={会打网球的人}
|A|=14, |B|=12, |A B|=6,|A C|=5,| A B C|=2, |C|=6,C A B
如图所示。
25-(5+4+2+3)-5-1=25-14-5-1=5
不会打球的人共5人
21.设集合A={{1,2},{2,3},{1,3},{.
(d) 特定谓词 (x,y):x=y, (x,y):x<y,x,y .
说明下列公式在I下的含义,并指出各公式的真值:
(1)
(2)
答:(1) 对于任意两个实数x,y,如果x<y, 那么x y. 真值1.
(2) 对于任意两个实数x,y,如果x-y=0, 那么x<y. 真值0.
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
பைடு நூலகம்
4
乘法法则
乘法法则:事件A 有 m 种产生方式,事件 B 有n 种产 生方式,则 “事件A与B” 有 m n 种产生方式. 使用条件:事件 A 与 B 产生方式彼此独立 适用问题:分步选取 推广:事件 A1有 p1种产生方式,事件 A2有 p2 种产生方 式,…, 事件 Ak 有 pk 种产生的方式,则 “事件A1与 A2
C:小网络;
1 0 netid (14位) 1 1 0 netid (21位) 1 1 10 1 1 11 0 (28位) (27位)
9
解答
netid hostid A类: 0+7位, 24位 B类: 10+14位, 16位 C类: 110+21位, 8位 限制条件:1111111在A类中的netid部分无效 hostid部分不允许全0或全1 A类:netid 271, hosted 2242, NA=12716777214=2130706178 B类:netid 214, hosted 2162, NB=1638465534=1073709056 C类:netid 221, hosted 282, NC=2097152254=532676608 N=NA+NB+NC=3737091842
( r k 1)! N C ( k r 1, r ) r !( k 1)!
18
组合计数的应用
例3 排列26个字母,使得 a 与 b 之间恰有7个字母,求方 法数.
解 固定a 和 b, 中间选7个字母,有2 P(24,7)种方法, 将它看作大字母与其余17个字母全排列有18!种,共 N = 2 P(24,7) 18! 例4 把 2n 个人分成 n 组,每组2人,有多少分法? 解 相当于2n 不同的球放到 n 个相同的盒子,每个盒子 2个,放法为 1 N (2n,2)C (2n 2,2)...C (2,2) n! 1 2n! ( 2n 2)! 2! (2n)! ... n n! (2n 2)! 2 ( 2n 4)! 2 0! 2 2 n!
(2) r 个位置中的每个位置都有 k 种选法,由乘法法则得 kr
17
多重集的组合
定理12.3 多重集 S={n1a1, n2a2, …, nkak},0<ni +∞ 当 r ni , S的r 组合数为 N = C(k+r1,r),
证明 一个 r 组合为 {x1a1, x2a2, …, xkak}, 其中 x1 + x2 + … + xk = r , xi 为非负整数. 这个不定方程的 非负整数解对应于下述排列 1…1 0 1…1 0 1…1 0 …… 0 1…1 x1个 x2个 x3个 xk个 r 个1,k1个 0 的全排列数为
公式(3) 称为 Pascal公式,也对应了杨辉三角形
14
杨辉三角
r=0 n=0 n=1 n=2 n=3
1 1 1 1 6 5 4 1 3 6 10 10 15 20 15 1 2 3 4 5 6 1 1 1 1 1 1 1
15
r=1 r=2 r=3 r=4 r=5 r=6
n=4 n=5
n=6
多重集的排列与组合
C(n,n1 )C(n n1 ,n2 )...C(n n1 n2 ... nk 1 ,nk ) ( n n1 ... nk 1 )! n! ( n n1 )! n! ... n1 ! (n n1 )! n2 ! ( n n1 n2 )! nk ! 0! n1 ! n2 ! ...nk !
19
一一对应的技巧
例5 从S={1, 2, … , n}中选择 k 个不相邻的数,有多少种 方法? 解 使用一一对应的思想求解这个问题. a1, a2, …, ak :k个不相邻的数, 属于集合{1, 2, …, n} b1, b2, …, bk:k个允许相邻的数, 属于集合{1, …, n(k1)} 对应规则是 bi = ai(i1). i =1, 2, …, k 因此 N = C(nk+1,k)
实例:关系计数
例1 设A为 n 元集,问 (1) A上的自反关系有多少个? (2) A上的对称关系有多少个? (3) A上的反对称关系有多少个? (4) A上的函数有多少个?其中双射函数有多少个? (1) 在自反关系矩阵中,主对角线元素都是1,其他位置的元 素可以是1,也可以是0,有2种选择. 这种位置有n2n个,根 据乘法法则,自反关系的个数 2 n n
加法法则
乘法法则
分类处理与分步处理
3
加法法则
加法法则:事件A 有 m 种产生方式,事件 B 有n 种产生方
式,则 “事件A或B” 有 m+n 种产生方式.
使用条件:事件 A 与 B 产生方式不重叠 适用问题:分类选取 推广:事件 A1有 p1种产生方式,事件 A2有 p2 种产生方 式,…, 事件 Ak 有 pk 种产生的方式,则 “事件A1或 A2 或 … Ak” 有 p1+p2+…+pk 种产生的方式.
2
(2) 考虑对称关系的矩阵. i 行 j 列(i≠j)的元素 rij = rji. 能够独立 选择0或1的位置有(n2n)/2个. 加上主对角线的n个位置,总计 (n2+n)/2个位置,每个位置2种选择,根据乘法法则,构成矩 ( n2 n ) / 2 阵的方法数是 2
7
解答
(3) 非主对角线位置分成 (n2n)/2组,每组包含元素rij和rji. 根 据反对称的性质,rij与rji的取值有以下3种可能: rij=1, rji=0; rij=0, rji=1; rij=rji=0. 所有这些位置元素的选择方法数为 3( n2 n) / 2 . 再考虑到主对角 2 n ( n 线元素的选取,由乘法法则总方法数为 2 3 n ) / 2 (4) 设A={x1,x2,…,xn},任何A上的函数 f:AA具有下述形式: f={<x1,y1>,<x2,y2>,…,<xn,yn>} 其中每个yi(i=1,2,…,n)有n种可能的选择,根据乘法法则, 有nn个不同的函数. 若 f 是双射的,那么y1确定以后,y2只有 n1种可能的取值 ,…, yn只有1种取值. 构成双射函数的方法数 是n(n1)(n2)…1 = n!.
与 … Ak” 有 p1 p2 … pk 种产生的方式.
5
分类处理与分步处理
分类处理:对产生方式的集合进行划分,分别计数,然后 使用加法法则 分步处理:一种产生方式分解为若干独立步骤,对每步分 别进行计数,然后使用乘法法则 分类与分步结合使用 先分类,每类内部分步 先分步,每步又分类
6
n r
13
推论
推论 设n, r为正整数,则 n (1) C(n,r)= C(n 1,r 1) r (2) C(n,r) = C(n, nr) (3) C(n,r)=C(n1,r1)+C(n1,r) 证明方法:公式代入并化简,组合证明 例3 证明 C(n,r) = C(n,nr) 证 设 S ={1, 2, …, n}是n元集合,对于S 的任意 r 组合 A={a1, a2, …, ar},都存在一个S 的 nr 组合SA与之对应. 显然不同 的 r 组合对应了不同的 nr 组合,反之也对,因此 S 的 r 组合 数恰好与 S 的 nr 组合数相等.
10
12.2 排列与组合
选取问题:设 n 元集合 S,从 S 中选取 r 个元素.
根据是否有序 , 是否允许重复, 将该问题分为四个子类型
不重复选取 重复选取
有序选取 无序选取
集合的排列 集合的组合
多重集的排列 多重集的组合
11
集合的排列
定义12.1 设S为n元集, (1) 从 S 中有序选取的 r 个元素称为 S 的一个 r 排列,S 的 不同 r 排列总数记作 P(n,r), r=n的排列是S的全排列. (2) 从 S 中无序选取的 r 个元素称为 S 的一个 r 组合,S 的 不同 r 组合总数记作 C(n,r) 定理1.1 设n, r为自然数,规定0!=1,则 n! nr (1) P ( n, r ) ( n r )! nr 0 n! P ( n, r ) nr ( 2 ) C ( n, r ) r ! r! ( n r )! nr 0
20
12.3 二项式定理与组合恒等式
主要内容 二项式定理 组合恒等式 非降路径问题
21
二项式定理
定理12.4 设 n 是正整数,对一切 x 和 y n n k n k n ( x y) k x y k 0
证明方法: 数学归纳法、组合分析法. 证 当乘积被展开时其中的项都是下述形式:xi yni, i = 0, 1, 2, …, n. 而构成形如 xiyni 的项,必须从n 个 和 (x+y) 中选 i 个提供 x,其它的 ni 个提供 y. 因此,
n i n i x y 的系数是 ,定理得证. i
22
二项式定理的应用
例6 求在(2x-3y)25的展开式中x12y13的系数.
解 由二项式定理
25 25 i i ( 2 x ( 3 y )) ( 2 x ) ( 3 y ) i i 0 令i =13 得到展开式中x12y13的系数,即
25

25
25 12 25! 12 13 13 13 2 ( 3) 13! 12! 2 3
第四部分
组合数学的研究内容 组合存在性 组合计数 组合枚举 组合优化 本书的内容 基本的组合计数公式 递推方程与生成函数
组合数学
1
第十二章 基本的组合计数公式
主要内容 加法法则与乘法法则 排列与组合 二项式定理与组合恒等式 多项式定理
相关文档
最新文档