原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
2002年国防科技大学软件基础试题(离散数学部分)试题.
国防科技大学研究生院2002年硕士生入学考试
428- 离散数学 试题 题单号：40628
（可不抄题）
考生注意：1、答案必须写在统一配发的答题纸上；
2、统考生做第一、二、三、四、五、六、七、八、九题；
3、单独考生做第一、二、三、四、五、六、七、十、十一题。
一、（每小题6分，共12分）
设集合A={1，2，3，4}上的二元关系R?和R?定义如下：
i)试分别指出R?和R?所具有的性质（即是否具有自反性，反 自反性，对称性，反对称性和传递性这五种性质）。
ii )
二、（8分）
求合式公式的主合取范式和主析取范式。
三、（10分）
设二元关系R?A2 是自反的。证明R为等价关系的充要条件是：
若〈a,b〉，〈a,c〉? R, 则b,c? R.
四、（每小题5分，共15分）
在1到2000这2000个正整数中，试求出：
能被3、5或7整除的正整数的个数；
仅能被3、5或7这三数中的两者整除的正整数的个数；
能被3整除，但不能被5整除，也不能被7整除的正整数的个数。
五、（10分）
设A，B为非空集合且A?B=?. 证明：存在函数h:A?A?B 和k:B?A?B ，使得对任意集合D及任意函数f :A?D和g:B?D ，都存在唯一的函数?:A?B?D 使
六、（10分）
证明：若n阶简单无向图G的任意两个结点的度数之和大于等于n-1，则G是连通的。
七、（10分）
设A为非空集合，Π={?|?为A的划分}。若令
R={?,??????????且对每个u??皆有v???使u?v}
试证明R为II 上的半序。
八、（10分）
任给52个整数，证明其中必有两数之和能被100整除或两数之差能被100整除。[提示：考虑一个整数被100除所得的余数。]
九、（15分）
用自然推理系统证明：
? ?????? ?┡A∨B （8分）
├(?x) ( ? y) (P(x)?P(y)) （7分）
十、（10分）
试求P（A）?P(B)=P?A? B) 的充要条件，并加以证明。
其中，P（A）表示A的幂集。
十一、（15分）
用自然推理系统证明：
（8分）????├???
（7分）??x)???x????x))├??x)A(x)???x)B(x)
2
文档评论（0）