资源描述：
《离散数学英文试题A.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、——————————————密————————————封————————————线——————————————西南大学课程考核(试题【A】卷)《离散数学》课程2014～2018学年第2学期期考试时间120分钟考核方式学生类别人数120适用专业或科类计信院软件工程年级2014级题号合计得分签名阅卷须知：阅卷用红色墨水笔书写，得分用阿拉伯数字写在每小题题号前，用正分表示，不得分则在题号前写0；大题得分登录在对应的分数框内；统一命题的课程应集体阅卷，流水作业；阅卷后要进行复核，发现漏评、漏记或总分统计
2、错误应及时更正；对评定分数或统分记录进行修改时，修改人必须签名。特别提醒：学生必须遵守课程考核纪律，违规者将受到严肃处理。命题须知①命题内容须以教学大纲规定的知识内容、能力培养以及相关的教学目标层次要求为依据，课程内容覆盖率>80%。②在一般的闭卷笔试中，有关论述题、综合题、辨析题等考查较高能力层次的题型的分值应占有较大比例。③试题题意应清晰明确，文字应准确简练。④A、B两套考题在知识单元、题型、题量、难度和分值上必须相当。⑤同一门课程本次考题与上次考题以及A、B两套考题的题目重复率应<10%。
3、⑥每套考题一般应有四个以上题型。每大题题干后应注明小题数、分值和大题总分。试题下面应留出答题空间。⑦试题题量一般应以在110分钟考试时间内做完为标准。⑧每套试题应有相应的参考答案与评分标准。PLEASEANSWERINCHINESEORINENGLISH!!1.Fillthebestanswerintheblanks(3pointseach，15pointsinall)(1)IfA,B,andCbesets,then(A–C)–(B–C)___________A–B.(2)Arelationon
4、asetAthatisreflexive,symmetric,andtransitiveiscalledan(ora)___________relation.(3)Knhas___________edges.(4)Thereare_________non-isomorphicrootedtreeswithfourvertices.(5)AssumethatP(x,y)means“x+2y=xy”,wherexandyareintegers.Thenthetruthvalueofthestatem
5、ent∀x∃yP(x,y)is_________.第5页共6页——————————————密————————————封————————————线——————————————西南大学课程考核(试题【A】卷)2.ChoosethecorrespondingletterofthebestanswerthatbestcompletesthestatementsoranswersthequestionsamongA,B,C,andDandfilltheblanks(3pointseach，15points
6、inall).(1)SupposeA={1,2,3}.Thefollowingstatement()isnottrue.A．ÆÍÃ(A)B．{Æ}ÍÃ(A)C．{2,3}ÎA´AD．{{2}}ÍÃ(A)(2)SupposethatRandSaretransitiverelationsonasetA.Then()istransitive.A．B．C．D．(3)Thereare()stronglyconnectedcomponentsofthefollowinggraphG.A.1B.2C.3D.4
7、(4)Thereare()nonisomorphicundirectedtreeswith5vertices.A.6B.5.C.4D.3(5)SupposeP(x,y)isapredicateandtheuniverseforthevariablesxandyis{1,2,3}.SupposeP(1,3),P(2,1),P(2,2),P(2,3),P(3,1),P(3,2)aretrue,andP(x,y)isfalseotherwise.Thefollowingstatement()istru
8、e.A.∀y∃x(P(x,y)→P(y,x))B.¬∃x∃y(P(x,y)∧¬P(y,x))第5页共6页——————————————密————————————封————————————线——————————————西南大学课程考核(试题【A】卷)C.∀x∀y(x¹y→(P(x,y)∨P(y,x))D.∀y∃x(x≤y∧P(x,y))3.Write“Ö”fortrue,and“´”forfalseintheblanksatendofeachstatement(3pointseach，15point
