下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第二师范学院 2012 2013 学年度第二 学期离散数学课程参考( B 卷)方式: 闭 卷(开卷、闭卷)命题教师: 计算机科学与技院、系:计算机学院专业班级:11 计科 1-3 班,12 计科 5 班注:参考需写清题号、每小题分值、参考要点、评分标准等一、判断题(每小题 1 分,共 14 分)二、单项选择题(每小题 2 分,共 30 分)三、综合题(每小题 5 分,共 40 分)1. 求下列集合的幂集(1)解:P() = ,(2)A=a, b, c 解:P(A) = ,c,a, b,A2 分3 分2. 设 p:(1)努力学习 q:取得好成绩,试将下列命题符号化。取得好成绩,如果她努力学习。解
2、:pq2 分(2)只有努力学习,她才能取得好成绩。解:q p3 分3. 试将下列命题符号化(1)在卖菜的人不全是东北人。解:设 F(x):x 在卖菜,G(x):x 是东北人,则命题可符号化为: x(F(x) G(x)(或 x(F(x) G(x) )2 分12345678910111213CCCBCACADACBD1234567891011121314(2)有的汽车比有的火车快。解:设 F(x):x 是汽车,G(x):x 是火车,H(x, y):x 比 y 快则命题可符号化为: xy ( F(x) G(y) H(x, y)3 分4. 试给出A = 1, 2, 3 上的所有等价关系。解:R1= ,
3、 IAR2= , IAR3= , IAR4=IAR5=EA5 分(酌情给分)5. 设 R 为实数集,f:RR,f (x) = x2 x + 2,g:RR,g (x) = x -4。(1)求复合函数 f g,g f解:f g (x) = g (f(x) = g (x2 x + 2) = x2 x + 2 -4 = x2 x -2g f (x) = f (g(x) = f ( x 4) = (x-4)2 (x-4) +2 = x2 9x +221 分1 分(2)求 g (x) 的反函数。g-1 (x) = yg(y) = x,又 g(y) = y-4解:设则所以由 y-4 = x,y = x+4g
4、-1 (x) = x+43 分(酌情给分)即6.画出以 1, 1, 1, 2, 2, 3 为度数列的 3 个非同构的无向简单图。解:作图如下:5 分(酌情给分)7.说明理由。的两个图 G1,G2 是否同构,若两图同构,写出顶点之间的对应关系,若不同构,则解:(1)不同构2 分(2)图 G2 中有 3 个顶点分别不相邻,如:2,3,4;但图 G1 中没有 3 个不相邻的顶点。即图 G1 与图 G2 结构不一样。3 分(酌情给分)G1G28. 已知一棵无向树T 中有 4 度,3 度,2 度的分支结点各一个,其余的顶点均为树叶,问 T 中有几片树叶?解:设T 中有x 片树叶,m 条边,n 个结点,由
5、树的特性:m = n-1所以 m = 3+x-11 分2 分a1bcd234ef56由握手定理:2m = 2(3+x-1) = 4+3+2+x,解得:x = 5四、证明题(每小题 5 分,共 20 分。)2 分1. 在自然推理系统 P 中,构造下面推理的证明。如果他是计算机本科生或者是计算机,那么他一定学过 C 语言而且学过 C+语言。只要他学过 C 语言或者 C+语言,那么他就会编程序。因此如果他是计算机本科生,那么他就会编程序。(注意:字母按 p, q, r, s, t 的顺序符号化。)p:他是计算机系本科生 q:他是计算机系r:他学过DELPHI 语言 s:他学过 C+语言 t:他会编程
6、序前提:(pq)(rs),(rs)t结论:pt解:令2 分1 分证:p pq(pq)(rs)rs r rs(rs)ttPP(附加前提)附加(前提引入) 假言推理 化简 附加P (前提引入) 假言推理2 分证明等值式 x ( F(x) G(x) ) x ( F(x) G(x) ) 成立。2.x (F(x) G(x) )x ( F(x) G(x) )x (F(x) G(x) )x ( F(x) G(x) )证明:命题得证。1 分2 分2 分(量词否定等值式)(蕴含等值式)(德律)设 R 是集合 A 上的自反关系,证明 RR-1 是A 上的自反关系。证明: 对 x,若 x A,由条件,则 R R R R-1 x( R R-1 ) RR-1所以,RR-1 是 A 上的自反关系。命题得证。3.2 分3 分(酌情给分)设 f:AB,g:BC 是两个函数,证明:若f g 是单射,则 f 是单射。证明: 由条件 f g:A C 且 f g 是单射,对 a1,a2 A,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 色彩搭配与视觉效果提升技巧
- 金融行业要点分析
- 医药行业线上线下融合营销案例
- 企业办公空间的创意设计研究
- 企业文化建设与团队激励
- 企业文化传承与品牌建设汇报讲解
- 小程序剧本杀课程设计
- 《天津市老年人身体行为与体质健康的关联性研究》
- 《城市公共自行车多因素需求量预测与调度方法研究》
- 《HPLC法同时检测食品中多种防腐剂和人工合成色素的方法研究》
- 陕西省汉中市洋县2022-2023学年六年级上学期期末水平测试语文试卷
- 课外古诗词诵读《采桑子(轻舟短棹西湖好)》教学设计 统编版语文八年级上册
- 国家开放大学《中国现代文学专题》形考任务1-4参考答案
- 2023年抖音运营陪跑协议书
- 工程伦理案例分析-毒跑道事件
- 小儿鼻炎调理课程课件
- 股东损害公司债权人利益责任纠纷起诉状(成功范文)
- 家庭财务管理系统
- 逆向思维的含义与作用课件教学
- 冠寓运营管理手册
- 2023年上海市15区物理中考一模分类汇编6伏安法测电阻、测电功率含答案
评论
0/150
提交评论