离散数学复习提要(2014.12).docVIP

PAGE PAGE 1 《离散数学》复习提要（2014.12） 离散数学试题类型及分数分布 一、单项选择题（每小题3分，共15分） 二、填空题（每小题3分，共15分） 三、逻辑公式翻译题（每小题6分，共18分） 四、判断说明题（每小题5分，共10分） 五、计算题（每小题12分，共36分） 六、证明题（本大题6分） 离散数学考核要点 一．选择题、填空题（每题3分，共30分） 考试范围如下： 1．判断命题公式的类型（永真式、永假式，可满足式） 2．判断命题公式的真值（真，假） 3．判断哪些命题公式是等值式 4．公式的析取范式和合取范式 5．集合的表示，幂集的表示，幂集中元素的个数 6．元素与集合的关系，集合与集合的关系 7．集合的运算 8．关系的表示（关系的集合表示和关系图） 9．关系的性质（自反与反自反，对称与反对称，传递） 10．关系的闭包 （对称闭包，自反闭包） 11．函数的判断和复合 12．无向图的握手定理 13．无向图的连通性 14. 有向图的强连通，弱连通和单侧连通 15．树的定义 16．图的生成树 17．欧拉回路的充分必要条件 18．平面图的欧拉公式 三．逻辑公式翻译题（每题6分，共18分） 1．命题公式的翻译 2．命题公式的翻译 3．谓词公式的翻译 （存在量词，全称量词） 五个连接词 ?，? ，? ，? ，? 五个联结词总结如下： ①?: 非，没有，不等否定词 ②?:且, 不仅…而且, 虽然…但是, 既…又, 都, 也 ③?: 或，或者 ④?:若…则，如果…那么，仅当，除非…否则 ⑤?:当且仅当，若P则Q 且 若Q则P 排斥或 例如 这件事由张三和李四中的一人去做。 设 p:张三做这件事, q:李四做这件事， 应符号化为 (p ∧ ?q) ∨ (?p ∧ q) 全称量词（?）：“所有的”、任何的，每一个，凡是，一切等等，（?）后必须跟 “→” 。 存在量词（?）：“有些”，“存在”“至少有一个”（?）后必须跟 “∧” 四．判断说明题（每题5分，共10分） 考试范围如下： 1．辖域的判断 2. 是否为函数的判断 3. 关系的性质 4. 汉密尔顿图 若无向图G=V,E是哈密尔顿图, 则对于V的任意非空真子集V1有 p(G?V1)?|V1|.P(v)连通分支数 5. 欧拉图 五．计算题（每题12分，共36分） 考试范围如下 求命题公式的析取范式、合取范式、主析取范式与主合取范式； 连接词 非 合取（且） 析取（或） 蕴含（如果…则） 当且仅当 计算法则 ┐ 非0则1，非1则0 ∧ P∧Q，全1为1，有0为0 ∨ P∨Q，有1为1，全0为0 → P?Q，仅当P为1，Q为0时为0，其他都是1 ? P?Q，仅当P和Q取值相同是为1，取值不同时为0 联结词运算的优先次序:?，? ，? ，? ，? (小括号可以改变优先次序)靠近左边的优先 红色为必须掌握 双重否定律 ??A?A 幂等律 A?A?A, A?A?A 交换律 A?B?B?A, A?B?B?A 结合律 (A?B)?C?A?(B?C) (A?B)?C?A?(B?C) 分配律 A?(B?C)?(A?B)?(A?C) A?(B?C