《2017离散学课程 》模拟题答案.docVIP

《离散数学》期末考试考点及模拟题答案 一、考试题型及分值 各种题型所占的比例： 填空题10%，判断题10%，选择题20%，其它题型60% 新出试卷按照如下各种题型所占的比例： 填空题20%，判断题15%，选择题30%，其它题型35% 二、考点 1．命题逻辑 熟练掌握命题及其表示; 掌握常用联结词(? 、∧、∨、→、()的使用; 熟练掌握命题公式的符号化; 熟练掌握使用真值表判别命题等价的方法; 掌握使用等价公式判别命题等价的方法; 掌握重言式与蕴含式的概念及其判别方法;了解其他联结词的使用;了解对偶的概念; 掌握求命题范式的方法; 熟练掌握命题演算推理的基本理论。 2．谓词逻辑 熟练掌握谓词的概念及其表示; 熟练掌握量词的使用; 掌握使用谓词公式翻译命题的方法; 掌握变元的约束; 掌握谓词演算中等价式与蕴含式的判别;了解前束范式的求法; 熟练掌握谓词演算推理的基本理论。 3．集合与关系 熟练掌握集合的概念和表示法; 掌握集合的基本运算; 掌握序偶与笛卡尔积的概念; 熟练掌握关系及其表示; 掌握关系的基本性质;了解复合关系和逆关系的概念; 掌握关系的闭包运算; 了解集合的划分和覆盖; 掌握等价关系与等价类的概念; 了解相容关系的概念; 掌握各种序关系的概念。 4．函数 熟练掌握函数的概念; 掌握逆函数和复合函数的概念;了解基数的