离散数学大纲-西北师范大学在线教学系统.DOC

西北师范大学课程教学大纲 PAGE PAGE 5 西北师范大学计算机科学与技术专业课程教学大纲 离散数学 一、说明 （一）课程性质 专业必修课, （二）教学目的 培养学生的抽象思维和慎密概括的能力，同时教授学生离散对象处理的基本理论和技术。 （三）教学内容 主要教学内容包括：数理逻辑、集合论、代数结构(群、环、域)、图论 （四）教学时数 周4学时,共72学时 （五）教学方式 课堂讲授 二、本文 第一篇 数理逻辑 命题逻辑 教学要点： 熟练掌握命题逻辑、联结词的基本定义，进而掌握命题公式的定义和翻译，学会相应计算，理解并掌握等价式、重言式与蕴含式，掌握命题公式的的推理理论。 教学时数： 12学时 教学内容： 命题及其表示法(1学时) 命题的定义及基本概念 联结词(2学时) 联结词的定义、基本概念 命题公式与翻译（2学时） 命题公式的定义，以及如何将自然语言翻译成命题公式。 真值表与等价公式（1学时） 真值的定义、等价公式的定义与计算。 重言式与蕴含式（2学时） 重言式与蕴含式的定义，以及证明。 1-6 其他联结词（1学时） 对偶与范式（1学时） 对偶与范式的定义和计算。 1-8 推理理论（2学时） 1-9 应用 谓词逻辑 教学要点： 熟练掌握命题逻辑、联结词的基本定义，进而掌握命题公式的定义和翻译，学会相应计算，理解并掌握等价式、重言式与蕴含式，掌握命题公式的的推理理论。 教学时数： 11学时 教学内容： 2-1 谓词的概念与表示（1学时） 谓词的基本概念 2-2 命题函数与量词（2学时） 命题函数与量词的基本概念、定义 2-3 谓词公式与翻译（2学时） 谓词公式的定义与将自然语言翻译成谓词公式 2-4 变元的约束（1学时） 基本定义与应用 2-5 谓词演算的等价式与蕴含式（2学时） 谓词演算的等价式与蕴含式的定义与证明 2-6 前束范式（1学时） 前束范式的定义与计算 2-7 谓词演算的推理理论（2学时） 谓词演算的推理规则以及推理理论 第二篇 集合论 集合与关系 教学要点： 熟练掌握命题逻辑、联结词的基本定义，进而掌握命题公式的定义和翻译，学会相应计算，理解并掌握等价式、重言式与蕴含式，掌握命题公式的的推理理论。 教学时数： 21学时 教学内容： 3-1 集合的概念和表示法（1学时） 3-2 集合的运算（2学时） 3-3 包含排斥原理（带星号的内容） 3-4 序偶与笛卡尔积（1学时） 3-5 关系及其表示（2学时） 3-6 关系的性质（2学时） 3-7 复合关系和逆关系（1学时） 3-8 关系的闭包运算（4学时） 3-9 集合的划分和覆盖（2学时） 3-10 等价关系与等价类（2学时） 3-11 相容关系（2学时） 3-12 序关系（2学时） 第四章 函数 教学要点： 熟练掌握函数基本定义，进而能够计算逆函数与复合函数；了解技术的概念。 教学时数： 4学时 教学内容： 4-1 函数的概念（1学时） 函数的定义 4-2 逆函数和复合函数（1学时） 逆函数的定义与计算；复合函数的定义与计算 4-3 特征函数与模糊子集（带星号的内容） 4-4 基数的概念（1学时） 基数的概念 4-5 可数集与不可数集（1学时） 可数集与不可数集的定义 4-6 基数的比较（选讲内容） 第三篇 代数系统 代数结构 教学要点： 熟练掌握群的基本定义，进而能够计算判定一个代数系统是否是群。 教学时数： 8学时 教学内容： 5-1 代数系统的引入（0.5学时） 代数系统的基本概念 5-2 运算及其性质（0.5学时） 运算及其性质 5-3 半群（1学时） 半群的概念 5-4 群与子群（2学时） 群与子群的定义与相关定理 5-5 阿贝尔群和循环群（1学时） 阿贝尔群和循环群的定义 5-6 置换群与伯恩赛德定理（0.5学时） 置换群的概念与伯恩赛德定理 5-7 陪集与拉格朗日定理（0.5学时） 陪集的概念与拉格朗日定理 5-8 同态与同构（1学时） 同态与同构的基本概念 5-9 环与域（1学时） 环与域的定义 第六章 格和布尔定理（选讲） 6-1格的概念 6-2 分配格 6-3 有补格 6-4 布尔代数 6-5 布尔表达式 第四篇 图论 第七章 图论 教学要点： 熟练掌握图中的基本概念、图的各种表示方法；理解并掌握欧拉图与汉密尔顿图的定义以及理论，掌握树、生成树、根树的基本概念，能熟练应用计算方法，并能综合应用。 教学时数： 16学时 教学内容： 7-1 图的基本概念（2学时） 图的基本概念 7-2 路与回路（2学时） 路与回路的基本概念 7-3 图的矩阵表示（2学