离散结构上-计科1312_第1页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、A若S是自反的, 则RS20142015离散结构上试题（ A 卷1B若S是反自反的, 则RSC若S则RS（D若S则RS二、填空题（每题 2 分 共 20分令p: 你努力, q: 你失败. 命题”除非你努力, 否则你失败.”令F(x):x是汽车,G(x):x是火车,H(x,y):x比y快. 命题”不存在比所有火车都快的汽车.” 的符号化形式为A若S是自反的, 则RS20142015离散结构上试题（ A 卷1B若S是反自反的, 则RSC若S则RS（D若S则RS二、填空题（每题 2 分 共 20分令p: 你努力, q: 你失败. 命题”除非你努力, 否则你失败.”令F(x):x是汽车,G(x):x是

2、火车,H(x,y):x比y快. 命题”不存在比所有火车都快的汽车.” 的符号化形式为一、选择题（2 10分设集合A=1,2,2,3,1,3, 则令A=x|x=n2nN, B=x|x=n109nN的, 则BC 的基数为破坏性二难推理规则为若解释I的论域D仅包含一个元素，则xP(x)xP(x)在I下真值.)B. D. 7. A=a，b，c，d，R下列各式中哪个不成立)A. C. B. D. 3. R是非空集合A上的偏序关系, 下面哪个性质不是R必须具备的)则 A. 对称性 B. 自反性 D.8. 设A=1,2,3,4,5,6,7,8,9,10,11,12, 为整除关系, B=x|xA2x4, 则在

3、偏序集中B 的最小上界是, 最大下界是9.设 f, g是自然数集N上的函数f(x)=x+1, g(x)=2x,则4F,G是A上的二元关系, 下面各式中哪个不成立A. DomF Dom G= Dom( FG)G )-1 =F-G-B. (C. (F G)-1 =F-1 G-10. 集合A=,的幂集D. Ran 5. 设Ran G =Ran (FGSA)一二三四五（4分共16分四、分析计算题（共 22分1. (要求结果用极大项表示) 【5(pq) （4分共16分四、分析计算题（共 22分1. (要求结果用极大项表示) 【5(pq) 2.【6p 3.A=a,b,c, R=,.【6给出R说明Rf: 4.5(AB)(AC)= 2 设R,F,GA74.5(AB)(AC)= 2 设R,F,GA7f:RRRR,f是双射的.【5五、证明题（32分1.在自然推理系统 P 中构造证明前

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论