070101118《离散数学》教学大纲.docVIP

课程编号：070101118 《离散数学》课程教学大纲 （Discrete Mathematics） 一、课程简介 1、课程性质：专业基础必修课． 2、开课学期：第三学期 3、学时学分：总学时： 68 学分： 3 4、适用专业：计算机科学 5、课程修读条件：在修完高等数学与线性代数课程之后开设。 6、课程教学目的： 离散数学是计算机科学中基础理论的核心课程。通过本课程的学习，培养学生的抽象思维和严密的逻辑推理能力，应用自如的解题技巧，以及训练有素的演算能力，使学生能处理各种离散结构事物的描述工具与方法，为进一步学习专业课打好基础，并为学生今后处理离散信息，提高专业理论水平，从事计算机的实际工作提供必备的数学工具。 二、教学基本要求或建议： 1、掌握一些现代数学语言 2、理解有关基本概念 3、掌握有关基本理论知识 4、熟练掌握一些重要方法 三、内容纲目及标准： 第一章 命题逻辑 [教学目的]正确理解命题、命题联结词命题公式的递归定义掌握命题符号化方法，命题公式真值表的求法方法命题公式1）命题公式与符号化；真值表与等价公式 （2）重言式与蕴含式；其他联结词 （3）对偶与范式 （4）推理理论（难点） [教学内容纲目] 第一节 命题逻辑辑基本概念 一、命题与联结词概念 二、真值表 三、命题公式与赋值 第二节 命题逻辑等值演算 一、等值式 二、析取范式与合取范式 三、联结词完备集