ImageVerifierCode 换一换
格式:DOCX , 页数:14 ,大小:78.44KB ,
资源ID:11476934      下载积分:3 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bdocx.com/down/11476934.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学作业.docx)为本站会员(b****8)主动上传,冰豆网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰豆网(发送邮件至service@bdocx.com或直接QQ联系客服),我们立即给予删除!

离散数学作业.docx

1、离散数学作业第一章 命题逻辑的基本概念一、单项选择题1下列语句中不是命题的有( ).A 9+512 B. 1+3=5 C. 我用的电脑CPU主频是1G吗?D.我要努力学习。2. 下列语句是真命题为( )A. 1+2=5当且仅当2是偶数 B.如果1+2=3,则2是奇数C. 如果1+2=5,则2是奇数 D. 你上网了吗?3. 设命题公式,则使公式取真值为1的p,q,r赋值分别是 ( )4. 命题公式为 ( )(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式5. 设p:我将去市里,q:我有时间命题“我将去市里,仅当我有时间时”符号化为为( ) 6设P:我听课,Q:我看小说. “我

2、不能一边听课,一边看小说”的符号为( )A.; B.; C.; D. 二、判断下列语句是否是命题,若是命题是复合命题则请将其符号化(1)中国有四大发明。(2)2是有理数。(3)“请进!”(4)刘红和魏新是同学。(5)a+b(6)如果买不到飞机票,我哪儿也不去。(8)侈而惰者贫,而力而俭者富。(韩非:韩非子显学)(9)火星上有生命。(10)这朵玫瑰花多美丽啊!二、将下列命题符号化,其中p:21,q:32(1)只要21,就有32。(2)如果21,则32。(3)只有21,才有32。(4)除非21,才有32。(5)除非21,否则32。(6)21仅当32。三、将下列命题符号化(1)小丽只能从筐里拿一个苹

3、果或一个梨。(2)王栋生于1992年或1993年。四、设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p(qr) (2)(pr)(qs) (3)(pqr)(pqr) (4)(rs)(pq) 五、用真值表判断下列公式的类型:(1) p(pq)(pq) (2) (pr) (pq)(2)(pq) (qr) (pr)第二章 命题逻辑等值演算一、填空(1)给定两个命题公式A,B,若 ,则称A和B时等值的,记作AB(2)德摩根律为: 。(3)蕴涵等值式为 。 (4)由已知的等值式推演出另外一些等值式的过程称为 。二、用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法

4、求出成真赋值.(1) (pqq)(2)(p(pq)(pr)(3)(pq)(pr)三、用等值演算法证明下面等值式(1)(pq)(pr) (p(qr)(2)(pq)(pq) (pq) (pq)三、用等值演算求下列公式的析取范式与合取范式。(1)( pq)(qp)(2) (pq)qr(3)(p(qr)(pqr)第三章 命题逻辑的推理理论一、 填空1.数理逻辑的的主要任务是 。推理是指 , 前提是 ,结论是 。2.推理正确是指: 3.命题公式A1,A,2,A,k推B的推理正确当且仅当 二、先把下列命题符号化,再写出前提、结论、推理的形式结构,然后用真值表法、等值演算法证明下列推理是正确的。若今天是星期

5、一,则明天是星期三。明天不是星期三,所以今天不是星期一。三、 自然推理系统下用直接法或用附加前提法或用归谬法构造推理证明(1)前提:pq, (qr),r结论: p (2)前提:qp,qs,st,tr结论:pq(3)前提:p (qr),sp,q (4)前提:pq, rq,rs结论:sr 结论: p 四、 在自然推理系统下构造下列推理的证明1.如果我学习,那么我数学不会不及格。如果不热衷于玩游戏,那么我将学习。但我数学不及格。因此我热衷于玩游戏。2.只要A曾到过受害者房间并且11点以前没离开,A就是谋杀嫌犯。A曾到过受害者房间。如果A在11点以前离开,看门人就会看见他。看门人没看见他。所以A是谋杀

6、嫌犯。第四章 第五章一、1.设个体域D是正整数集合,确定下列命题为真的是( )A xy (xy=y)B. xy(x+y=y)C. xy(x+y=x) D. xy(y=2x) 2. 设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 x(P(x)Q(x)在哪个个体域中为真?( )A.自然数B. 实数 C.复数D. (1)-(3)均成立3. 令R(x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为 二、在一阶逻辑中将下列命题符号化:(1) 没有不能表示成分数的有理数。(2) 在北京卖菜的人不全是外地人。(3)乌鸦都是黑的。(4)有的人天天锻炼身体。三、设个体域

7、D=a,b,c,消去下列各式的量词(1) x y(F(x) G(y)(2) x y(F(x) G(y)(3) x F(x) y G(y)四、设个体域D=1,2,3,4,F(x):x是2的倍数,G(x):x是奇数。将命题x (F(x) G(y)中的量词消去,并讨论命题的真值。五、在自然推理系统用直接法或用附加前提法或用归谬法构造下列推理的证明(1)前提:x (F(x) G(x), x F(x) 结论:x G(x) (2) 前提:x(F(x)G(x)结论:xF(x)x G(x)(3) 前提:x(F(x)G(x),x G(x)结论:x F(x)第六章 集合论一、单项选择题1若集合A=a,b,B= a

8、,b, a,b ,则( ) AAB,且AB BAB,但AB CAB,但AB DAB,且AB2若集合A2,a, a ,4,则下列表述正确的是( ) Aa, a A B a A C2A D A3若集合A a,a,1,2,则下列表述正确的是( ) Aa,aA B2ACaA DA4若集合A=a,b, 1,2 ,B= 1,2,则( ) AB A,且BA BB A,但BA CB A,但BA DB A,且BA 5设集合A = 1, a ,则P(A) = ( ) A1, a B,1, a C,1, a, 1, a D1, a, 1, a 6若集合A的元素个数为10,则其幂集的元素个数为( ) A1024 B1

9、0 C100 D1二、1设集合A有n个元素,那么A的幂集合P(A)的元素个数为 2设集合Aa,b,那么集合A的幂集是 3.设A, B代表集合,命题AB的真值为 4. 设A, B为任意集合,命题AB的真值为 5. 设集合A=,a,则A的幂集P(A)= 6. 设集合A=a,b,c, B=c,d, 那么AB 三、(1)B、C为任意的三个集合,如果AB=AC,判断结论B=C 是否成立?并说明理由(2)B、C为任意的三个集合,如果AB=AC,判断结论B=C 是否成立?并说明理由四、 1设集合Aa, b, c,B=b, d, e,求(1)BA; (2)AB; (3)AB; (4)BA2设A=a, b, 1

10、, 2,B= a, b, 1, 1,试计算(1)(AB) (2)(AB) (3)(AB)(AB)五证明集合等式:A B=A B六、某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球和排球,5人会打篮球和网球,还有2人会打这三种球。已知6个会打网球的人都会打篮球或排球。求不会打球的人数。第七章 二元关系(1)一、单项选择题1集合A=1, 2, 3, 4, 5, 6, 7, 8上的关系R=|x+y=10且x, yA,则R的性质为( ) A自反的 B对称的 C传递且对称的 D反自反且传递的2设集合A = 1,2,3,4,5,6 上的二元关系R =a , ba , bA , 且a +b

11、 = 8,则R具有的性质为( )A自反的 B对称的C对称和传递的 D反自反和传递的3集合Aa,b,c上二元关系R的关系矩阵MR, R( ), (A) , (B) , (C) , (D) ,4.设A=a,b,c,R=,则R具有性质( )(A) 自反的 (B) 反自反的 (C) 反对称的 (D) 等价的二、填空题1设集合A=0, 1, 2, 3,B=2, 3, 4, 5,R是A到B的二元关系, 则R的有序对集合为 2设集合A=0, 1, 2,B=0, 2, 4,R是A到B的二元关系,则R的关系矩阵MR 3设集合A=a,b,c,A上的二元关系R=,,S=,则(RS)1=4设集合A=a,b,c,A上的

12、二元关系R=, , , ,则二元关系R具有的性质是三、设A=a,b,构成集合(A)A。四、(1)列出集合A=2,3,4上的恒等关系I A,全域关系EA,小于或等于关系LA,整除关系DA.(2)设A=a,b,c,d,为A上的关系,其中= 求。五、设集合Aa, b, c, d上的二元关系R的关系图如图1所示(1)写出R的表达式; (2)写出R的关系矩阵; (3)求出R2 六、设集合A=1,2,3,4,R=|x, yA;|xy|=1或xy=0,试(1)写出R的集合表示; (2)画出R的关系图;(3)说明R满足自反性,不满足传递性第七章 二元关系(2)一、选择题1. 设集合A=a,b上的二元关系R=,

13、,则R ( ) A. 是等价关系但不是偏序关系 B是偏序关系但不是等价关系C. 既是是等价关系又是偏序关系 D. 既不是等价关系又不是偏序关系2. A=1、2、3,则A上不同等价关系有( ) A. 5 B.10 C. 15 D.83. 设A为有限集,元素个数为n个,P(A)为A的幂集,则P(A)的元素个数及的元素个数为( ) A B 及 C 及D以上全不对4. 设A是非空集合,则A上的空关系不具有( )A反自反性 B自反性 C对称性 D传递性5设,R是A上相等关系“=”,由R产生等价类有( ) A10个 B50个 C100个 D1个6.集合A的一个划分,确定A的元素间的关系为( ). A全序关系B等价关系C偏序关系D拟序关系7集合A=1,2,3上的下列关系矩阵中符合等价关系条件的是()A B C D 8.给定A=1、2、3上的关系R=, , , , 则( )A R是自反的且传递 B R不反自反且不对称C R是反对称且不对称 D R不自反且传递

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1