安徽大学2004-2005学年第一学期离散数学期末试卷.docVIP

安徽大学2004-2005学年第一学期 《离散数学》期末考试试卷（A卷） 年级 专业 姓名 学号 座位号 大项 一 二 三 四 五 六 七 总分 阅卷人 登分 一、单项选择（在备选答案中选出一个正确答案，并将其号码填在题干后的括号内。每题3分，共18分） 01．下列语句中，真命题是（ ） A、我正在说谎； B、若，则雪是黑的； C、这句话是错的； D、若，则太阳绕地球转。 02．下列哪个公式是永真式（ ） A、； B、； C、； D、。 03．对任意集合A，B，C，下列结论正确的是（ ） A、若，，则； B、若，，则； C、若，，则； D、若，，则。 04．上的关系，则具备（ ） A、传递性与反对称性； B、传递性与对称性； C、自反性与对称性； D、反自反性与对称性。 05．下述4个集合中，属于拟序集合的是（ ） A、； B、； C、； D、。 06．下列集合中基数等于的是（ ） A、； B、； C、； D、。 二、填空题（以下每个下划线为一空，请按要求填入合适的内容。每空2分，共22分）。 01．有一集合，则的幂集为＿＿＿＿＿＿＿＿。 02．设，则为＿＿＿＿，为＿＿＿＿。 03．上的包含关系为，则子集的极大元为 ＿＿＿＿，极小元为＿＿＿＿，上界为＿＿＿＿，下界为＿＿＿＿，最大元为＿＿＿， 最小元为＿＿＿（若没有填无）。 04．设，则上共有＿＿＿个不同的等价关系。 05．有一个函数，若要使有逆函数，就必须是＿＿＿。 三、演算题（每小题10分，总30分） 1、用谓词和量词将下列命题符号化。 1）每个有理数都是实数； 2）某些实数是有理数； 3）不是每一个实数都是有理数； 4）没有不犯错误的人； 5）会叫的狗未必会咬人。 2、求公式所对应的主析取范式和主合取范式（注：用公式推导法）。 3、某学院学生选课情况如下：260人选艺术课，208人选生物课，160人选计算机课，76人选艺术与生物课，48人选艺术与计算机课，62人选生物与计算机课，全部三门课程都选的是30人，三门都不选的是150人。问： 1）共有多少学生？ 2）有多少学生选艺术和生物课，但不选计算机课？ 四、证明题（每小题10分，总30分） 试证：是，，的有效结论。 设是集合上的一个传递和自反关系，是上的另一个关系，使得，当且仅当。证明是一个等价关系。 假定且是映射（函数），使得是一个单射，且是满射。证明是一个单射。 安徽大学2004-2005学年第一学期 《离散数学》期末考试试卷（A卷）参考答案 一、单项选择 01．D; 02.B; 03.A; 04.A; 05.C; 06.D. 二、填空题 01．；02．，；03．和，和，， ，无，无；04．2；05．双射。 三、演算题（每小题10分，总30分） 1、解： 1）设：是有理数；：是实数。则此命题可表示为：。 2）设：是实数；：是有理数。则此命题可表示为：。 3）设：是实数；：是有理数。则此命题可表示为：。 4）设：是人；：犯错误。则此命题可表示为： 。 5）设：是会叫的狗；：是会咬人的狗。则此命题可表示为：。 2、解： （主析取范式） （主合取范式） 3、解：设，，。 按题意有，，，，，，，。 生总数为： 2）由图3-2可知： 四、证明题 1．证明： （1） （附加前提） （2） （3） （4） （5） （6） （7） （8） （9） 　　　　　　　 　 （10） （矛盾） 所以，，。 2．证明： 对任意，因为为上自反关系，故有：。由的充要条件，得到，所以是自反的。 对任意，若 ，所以是对称的。 对任意，若有 ，所以是传递的。 于是是上的等价关系。 3．证明： 假定不是一个单射，则存在和，使得时，有。因为是满射，对于和存在必有和使得，。因为是函数，所以时，。现在考虑在和时的值， 这与是单射矛盾。 1 学生答题注意：勿超黑线两端；注意字迹工整。 2 得分 得分 得分