68882482离散数学教学大纲课程教学大纲.docVIP

离散数学教学大纲

课程名称：

离散数学

课程编码：总学时数：

48

课内实践学时数：

0

学分：

3.0

开课单位：

基础部

先修课程：

适用专业对象：

计BS13、14；

课程的性质、目的和任务

《离散数学》是理工科高等院校计算机、网络专业的重要的基础课程，他不仅为后续课程----数据结构、操作系统、编译原理、数据库原理、人工智能做必要的理论准备，而且在培养学生的创新思维、创新能力和综合素质有其独特的作用。

《离散数学》的主要内容是介绍计算机科学的理论基础，具有很强的逻辑性和抽象性，通过《离散数学》的学习使学生掌握课本中的一些基本概念以及“图论”和“代数结构”在计算机技术和计算机科学理论中的重要应用，使学生知道如何利用《离散数学》的理论去解决计算机中的实际问题，不过分追求理论的严格而侧重于应用，着重于培养学生分析问题和解决问题的能力、培养和提高学生的抽象思维、逻辑思维、创新思维、逻辑演算及其逻辑推理的能力。

该课程所教授的基本概念、基本理论和基本方法是构成学生科学素养的重要组成部分。

二、教学内容及教学基本要求

第一章命题逻辑

1．命题及其表示：

理解命题的概念与性质，掌握原子命题、命题变元、命题常元及复合命题等概念，掌握命题逻辑联结词的意义及其逻辑联结词的优先等级。

2．命题公式及其真值表：

掌握命题演算的合式公式的概念，命题公式的真值指派（解释）、真解释、假解释及其命题公式的真值表；掌握永真式、永假式、可满足式的概念及其它们关系、用真值表法进行判断。

3．命题公式间的关系：

掌握命题公式的等价、蕴含及其判定方法，掌握命题定理，了解置换定理与对偶定理。

4．范式与主范式：

理解极大项与极小项的概念，掌握范式与主范式的概念、求法与作用，掌握逻辑演算法与真值表法。

5.命题逻辑的推理理论：

理解并掌握推理的概念：逻辑前提（条件）、结论；理解推理的规则：代换规则、置换规则、分离规则、P规则、T规则、CP规则，推理证明的形式：直接证明、间接证明。

第二章谓词逻辑

1．谓词、个体词、量词：

理解谓词、个体词的概念。掌握个体域、全总个体域、个体变元、个体常元的概念及其谓词的元数，掌握量词的概念：全称量词、存在量词及其量词的意义。

2．谓词公式：

掌握项、谓词公式的概念，理解谓词公式中量词的辖域、约束变元、自由变元概念及其变元的换名规则，了解谓词公式的解释及其永真式、永假式、可满足式的判定。

3．谓词逻辑的等价式、蕴含式:

了解谓词公式的等价式、蕴含式的定义，了解等价式、蕴含式的证明，代入定理、置换定理，了解量词的转换律、量词辖域的扩张及收缩律、量词的分配律。

4．谓词逻辑的推理理论:

了解谓词逻辑推理理论的推理规则：约束变元的换名规则、自由变元的换名规则、命题变元的代换规则、置换规则、全称指定规则、存在指定规则、全称推广规则、存在推广规则；推理的格式与方法。

第三章集合与关系代数

1．集合：

掌握集合的概念、表示、关系及其集合的运算，集合的运算律；掌握有序素组（序偶）的概念与意义，掌握笛卡尔积的概念及其笛卡尔积的运算。

2．二元关系的概念及其表示：

理解并掌握二元关系的概念、定义域、值域，掌握二元关系的几何意义及其矩阵表示（关系矩阵）和图示，了解n元关系的概念。

3．关系的运算：

掌握关系的并、交、差、补运算及其意义，掌握关系的逆（逆关系）、关系的复合（复合关系）的概念及其性质，掌握关系的逆（逆关系）、关系的复合（复合关系）的矩阵求法和图示求法。

4．关系的性质：

掌握关系的性质：自反性、反自反性、对称性、反对称性、传递性，性质的定义、几何意义矩阵表示、图示的意义、判定方法。

5．关系的闭包运算：

理解关系闭包的概念，掌握关系闭包的性质极其关系闭包的求法。

6．等价关系与序关系:

理解等价关系、等价类的概念，了解等价类的性质、等价类的代表元，等价关系的矩阵形式，理解等价关系的作用(等价关系与集合的划分），了解商集的概念。

7．理解序关系的概念，偏序关系、偏序集A,R，拟序关系、拟序集A,R，掌握偏序关系、拟序关系的性质及其判定，理解偏序集的最大（小）元、极大（小）元、上（下）界、上（下）确界的概念，了解偏序关系的哈斯图及其哈斯图的作用。

第四章代数系统

1．二元运算:

理解二元运算的概念；理解集合对运算的封闭性，掌握二元运算的基本性质和运算律：交换律、结合律、分配律及其等幂律、吸收律。理解n元运算的概念。理解单位元、逆元的概念

2．同态与同构:

理解同态与同构的概念，了解同态与同构的作用。了解同余关系与商代数的概念。

3．半群与单位半群:

理解半群与单位半群的概念，掌握半群与单位半群的基本性质，单位元的意义与作用；

4．群论：

理解群的概念，掌握群