离散数学方世昌答案.docxVIP

离散数学方世昌答案 【篇一： 070101118 《离散数学》教学大纲】 txt 《离散数学》课程教学大纲 （discrete mathematics ） 一、课程简介 1 、课程性质：专业基础必修课． 2 、开课学期：第三学期 3、学时学分：总学时： 68 学分： 3 4 、适用专业：计算机科学 5 、课程修读条件：在修完高等数学与线性代数课程之后开设。 6 、 课程教学目的： 离散数学是计算机科学中基础理论的核心课程。通过本课程的学习， 培养学生的抽象思维和严密的逻辑推理能力，应用自如的解题技巧， 以及训练有素的演算能力，使学生能处理各种离散结构事物的描述 工具与方法，为进一步学习专业课打好基础，并为学生今后处理离 散信息，提高专业理论水平，从事计算机的实际工作提供必备的数 学工具。 二、教学基本要求或建议： 1 、掌握一些现代数学语言 2 、理解有关基本概念 3 、掌握有关基本 理论知识 4、熟练掌握一些重要方法 三、内容纲目及标准： 第一章 命题逻辑 [ 教学目的 ] 正确理解命题、命题联结词、真值表、命题公式的递归定 义等概念，掌握命题符号化方法，命题公式真值表的求法，命题演 算的基本方法、命题公式范式的判定及求法及应用命题演算基本公 式和推理规则进行正确的推理和应用，为学习下一章谓词（一阶） 逻辑打下扎实基础。 [ 教学重点与难点 ] （1）命题公式与符号化；真值表与等价公式 （ 2）重言式与蕴含式； 其他联结词 （3）对偶与范式 （4）推理理论（难点） [ 教学内容纲 目] 第一节 命题逻辑辑基本概念 一、命题与联结词概念 二、真值表 三、 命题公式与赋值 第二节 命题逻辑等值演算 一、等值式 二、析取范式与合取范式 三、联结词完备集 第三节 命题逻辑的推理理论 一、推理的形式结构 二、自然推理系 统 第二章 谓词逻辑 [ 教学目的 ] 正确理解谓词，量词，永真公式，前束范式等基本概念， 理解命题演算和谓词演算的相互关系，了解公理化理论的基本思想 及公理化理论在计算机科学中的地位和作用。 [ 教学重点与难点 ] （1） 量词与变元 （ 2）等值公式演算 （3）前束范式 （ 4）谓词演算推理（难点） [教学内容纲目 ] 第一节 谓词（一阶）逻辑基本概念 一、一阶逻辑命题符号化 （一） 个体变项与常项 （二）谓词与量词 （三）谓词公式 二、一阶逻辑公 式及解释 （一）变元 （二）解释 （三）等值公式 三、公式分类 第二节 一阶逻辑公式等值演算与推理 一、一阶逻辑等值式与置换 规则 二、一阶逻辑前束范式 三、一阶逻辑的推理理论 （一）一阶 逻辑的公理化理论 （二）谓词演算与逻辑程序设计语言 第三章 集合论 [教学目的 ]（ 1）正确理解集合、关系、映射的基本概念，理解多元 运算的概念，能正确判定单射、满射、双射。（ 2 ）熟练掌握集合、 关系、映射的运算极其性质。（ 3 ）理解和掌握偏序关系、相容关系、 等价关系的概念和作用。（ 4）正确认识无限集合的本质特征，理解 集合基数的实质，掌握比较集合基数大小的方法。 [ 教学重点与难点 ] 集合的运算与性质，关系的概念与表示，关系的运 算，关系的性质与闭包（难点），次序关系（难点），等价关系 （难点），映射，无限集的特征，集合的基数（难点）。 [ 教学内容 纲目] 第一节 集合的概念与运算 一、集合的基本概念 （一）元素与集合 （二）集合的相等 （三）子集和幂集 二、集合的运算 （一）集合的交、并、差（补）运算 （二）集合的运算律 （三）有 序对与笛卡儿积 三、集合恒等式 第二节 二元关系 一、关系的概念 极其表示 （一）关系 （二）图表示 （三）矩阵表示 二、关系的运 算 （一）交、并、差（补） （二）复合 三、关系的性质与闭包 （一）自反性，非自反性 （二）对称性，非 对称性 （三）传递性 （四）关系的闭包 四、等价关系与划分 （一） 等价关系与等价类 （二）商集 （三）集合的划分 五、次序关系 （一）拟序，偏序，线性序 （二）极大（小）元，最大（小）元，上（下）界，上（下）确界 第三节 函数 一、函数的定义与性质 （一）单射 （二）满射 （三） 1-1 映射 二、函数的复合与反函数 （一）函数的复合 （二）逆涵数 三、无限集 （一）无限集的特征 （二）集合的基数 第四章 代数系统 [ 教学目的 ] （1）理解和掌握代数系统的概念和性质 （2）熟悉半群的概念和特 性 （3）正确理解群、子群、正规子群、商群、群同态与群同构的概念， 熟悉它们的性质，掌握它们的 判定方法。 （4）理解变换群、置换群的概念和作用，理解置换的计算。 （ 5） 掌握循环群的特性和结构。 （6）理解 lagrange 定理和同态基本定理，并能正确应用。 （ 7） 理解格和 boole 代数的概念和性