C语言期中考试试卷.doc_第1页
C语言期中考试试卷.doc_第2页
C语言期中考试试卷.doc_第3页
C语言期中考试试卷.doc_第4页
全文预览已结束

下载本文档

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

文档简介

上海师范大学标准试卷 学年 第 学期 考试日期 200 年 月 日（考试时间： 90分钟） 科目：离散数学 专业专科 年级 班 姓名 学号 题号一二三四五六七八总分 得分一、填空题（本大题满分20分，每空2分。）我承诺，遵守上海师范大学考场规则，诚信考试。签名：_得得分 1、为两个命题，当_时，的真值为1；_时，的真值为0；_时，的真值为0。2、设是偶数，是素数，命题“不存在着偶素数”在一阶逻辑中符号化的形式为_ _。命题的真值为_。3、在公式中，成真赋值为_，成假赋值为_ _。4、设E=1,2,3,4,5,6, A=1,4, B=1,2,3, C=2,4, 则(AB)C=_,幂集P(AB)C)= 。5、设是两个集合，的充分必要条件为_。二、单项选择题（本大题满分20分，每题2分。）得得分 1、下列句子是命题的是( )A. 水开了吗？B. X1.5C. 再过5000年，地球上就没有水了。D. 我正在说谎。2、下列式子正确的是( )A. B. C. D. 3、下列式子不正确的是( )A. B. C. D. 4、设个体域为整数集，下列谓词公式中真值为假的是( )A.B. C. D. 5、对公式xy(P(x, y) Q(y, z) xP(x, y) 的说法正确的是( )A. x是约束出现，y是约束出现，z是自由出现B. x是约束出现，y既是约束出现又是自由出现，z是约束出现C. x是约束出现，y既是约束出现又是自由出现，z是自由出现D. x是约束出现，y是约束出现，z是约束出现6、左文氏图阴影部分所表示的集合是 ( ) A. B. C. D. 7、设为空集，下列论断不正确的是( )A. B. C. D. 8、设为两个集合，并且。下列论断不正确的是( )A. B. C. D. 9、集合表达式和下列哪一个集合相等( )A. B. C. D. 10、设，为上的关系，其关系矩阵为左所示，下列论断不正确的是( )A. B. C. D. 三、计算题（本大题满分40分，各小题满分10分。）得得分 1、用等值演算判断命题公式的类型，并简要注明使用等值式名称。2、给定解释如下：个体域，中特定元素，上特定谓词，判断公式在解释下的真值。3、设是上的二元关系, 的关系矩阵为(1) 写出中元素。(2) 求，。4、和都是在上的关系，求：四、证明题（本大题满分20分，第一小题满分15分，第二小题满分5分。）得得分 1、所有的理科学生数学成绩都好。王红是个2年级学生并且是个理科学生。因此有些2年级学生
人人文库> 全部分类> 教育资料 > 考试试卷

温馨提示

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

最新文档

评论

0/150

提交评论