




全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
一、填空题:1、非空关系是以有序对为元素的集,关系常用的表示方法有集合表达式;关系矩阵;关系图。2、设集合a, b, c,Bd, e, f , g,则= ,,有12个元素,从集合到集合的关系共有种不同的,从集合到集合的关系中共有种不同的函数。举出到的关系中是等价关系、偏序关系的各一个(要求不能举相同的例子):, .3、根据谓词公式在各种解释下的真值情况,可将谓词公式分为三类 永假式 永真式 非永真式的可满足式 。5、在数理逻辑中,由前提, ,推结论B的推理的形式结构有三种。6、假言推理为 析取三段论为 (推理定律)7、在北京工作的不全是北京人符号化为.王小红虽然没上过大学,但她自学成才符号化为。李红只能选学英语或只能选学法语符号化为。矛盾式的主析取范式为 0 重言式的主合取范式为 1 8、有的兔子比所有乌龟跑得快符号化为.9、哈密顿回路是经过所有 顶点 (填 边或顶点)的一条 初级 (填 简单或初级)回路.10、无向连通图G含有欧拉回路的充要条件为每一顶点都是偶度顶点 。11、在图论中,图的主要表示形式有集合表达式 关系矩阵 关系图 .12、一有向连通图的边数m与各顶点度数和之间的关系式为.14、在具有n(n1)个顶点的完全图Kn中删去条边才能得到树?二、判断题(计10分)1、非空集A上存在既具有对称性又具有反对称性的关系。 ( )2、在数理逻辑中,pq为真当且仅当p,q同时为真。 ()3、任何一个谓词公式都存在惟一的前束范式。 ()4、由于命题逻辑中的命题均可以表示成0元谓词,因此可以说0元谓词即为命题 ( )5、无向图中的一顶点与一边可能相邻也可能不相邻。 ()6、在集合表达式中,关系运算优先于集合运算。 ()7、半欧拉图一定是欧拉图。 ()8、在图论中,通路分为简单通路和复杂通路两种。 ( )9、A到B的函数一定是A到B的关系,反之不一定成立。 ()10、xyL(x,y) yxL(x,y)。 ()()()13、 在具有n个顶点的完全图Kn中删去 条边才能得到树?解:n个顶点的完全图Kn中共有n(n-1)/2条边,n个顶点
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025甘肃金昌市人力资源和社会保障局招聘公益性岗位人员1人考前自测高频考点模拟试题附答案详解(突破训练)
- 2025年吉林省农业种植(玉米)买卖合同书
- 2025保健品销售合同范本参考
- 2025吉林白城市暨洮北区人才交流中心就业见习岗位和见习人员征集模拟试卷及完整答案详解1套
- 2025江苏省退役军人事务厅直属优抚医院招聘12人模拟试卷及答案详解(网校专用)
- 2025标准企业租赁合同范本:租赁协议模板
- 2025年三明市供电服务有限公司招聘61人考前自测高频考点模拟试题及答案详解(历年真题)
- 2025年湖南长沙天心区招聘32名勤务协助人员和体能测评的考前自测高频考点模拟试题及参考答案详解1套
- 衡阳初一考试题库及答案
- 安全教育培训会议通知课件
- 对外投资合作国别(地区)指南 -玻利维亚-20240530-00504
- 19S406建筑排水管道安装-塑料管道
- 沪教版九年级上册化学第三章《物质构成的奥秘》检测卷(含答案解析)
- 如何与客户建立有效的沟通
- 薯片加工项目规划设计方案
- 复方电解质醋酸钠葡萄糖注射液-药品临床应用解读
- 变压器租赁协议书x
- 部编版小学数学六年级上册分数乘法应用题解法一:找单位“1”解析同步练习
- 危重产科患者麻醉管理
- 宾馆旅客财物保管制度
- 学前教育政策法规全套精美课件
评论
0/150
提交评论