计算机数学基础(上)离散数学部分.doc

《计算机数学基础(上) 》离散数学部分期末复****中央电大基础部数理教研室《计算机数学基础》是中央广播电视大学本科开放教育计算机科学与技术专业学生必修的一门专业基础课程,是学****专业理论必不可少的数学工具。本课程分两个学期学****本学期的教学内容是“计算机数学基础(上) ??离散数学”部分,共计 72 学时, 4 学分。本学期使用的教材是由任现淼主编、吴裕树副主编的《计算机数学基础(上)??离散数学》,由中央广播电视大学出版社出版。一、期末考试题型试题类型及分数分别为单项选择题和填空题各有 5 题,分数约占 25 %;化简解答题与计算题,分数约占 56 %;证明题,分数约占 19 %。各章分数的比例大致与其所用课时比例相同。单项选择题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简单计算。单项选择题给出四个备选答案,其一正确。填空题只需填写正确结论,不写计算、推论过程或理由。化简解答题与计算题主要考核学员的基本运算技能和速度, 要求写出计算过程。证明题主要考查应用概念、性质、定理及重要结论进行逻辑推理的能力, 要求写出推理过程。本学期期末复****应以中央电大考试处编发的《计算机数学基础(上) 离散数学部分考核说明》为依据。二、各章复****要求和重点第1章命题逻辑复****要求 1. 理解命题概念,掌握判断语句是不是命题的方法。判断一个语句是否为命题,应首先判断它是否为陈述句。再判断它是否有唯一的真值。因此,命题必须具备二个条件:其一,语句是陈述句;其二,语句有唯一确定的真假意义。 2. 了解六个联结词概念, 掌握由它们构成的公式及真值表:①?P( 否定式);②P?Q(合取式);③P?Q( 析取式);④P?Q( 蕴含式);⑤P?Q( 等价式);⑥P??Q( 不可兼析取式)。会将命题符号化。熟练掌握求给定公式真值表的方法。 3. 理解公式、公式解释、永真式( 重言式) 、永假式( 矛盾式) 和可满足式等概念。掌握基本等值式以及用真值表法和等值演算法判别公式类型和公式等值的方法。判别公式类型的真值表法: 对于任给一个公式, 列出该公式的真值表, 观察真值表的最后一列的情况。若真值表的最后一列全部为 1, 则该公式为永真式; 若真值表的最后一列全部为 0 ,则该公式是永假式;若真值表的最后一列既非全部为 1 ,又非全部为 0 ,则该公式是可满足式。判别公式类型的等值演算法: 利用基本等值式( 双重否定律、幂等律、交换律、结合律、分配律、吸收律、摩根律、同一律、零律、否定律、蕴含等值式、等价等值式、假言易位和等价否定等值式等), 对给定公式进行等值推导, 若该公式的真值为 1, 则该公式是永真式; 若该公式的真值为 0 ,则该公式为永假式。 4. 了解析取( 合取) 范式概念,理解极小(大) 项的概念和主析取( 合取) 范式概念,熟练掌握用基本等值式或真值表将公式化为主析取( 合取) 范式的方法。求析取( 合取) 范式的步骤: ①将公式中的联结词都化成?, ?, ?, 在析取( 合取) 范式中不能有联结词?, ?, ??; ②将否定联结词?消去或移到各命题变项之前; ③利用分配律、结合律等,将公式化为析取( 合取) 范式。求命题公式 A 的主析取( 合取) 范式的步骤①求公式 A 的析取( 合取) 范式; ②“消去”析取( 合取) 范式中所有永假式( 永真式) 的析取