设R是集合A 上的一个二元关系， n N ，则关系R 的n 次幂R n 定义为：
(1) R 0= IA ，即R 0 是集合 A 上的恒等关系；
亲爱的同学，欢迎您参加离散数学课程的学习。本课程的网上学习平台为您精心设计了丰富的学习资源，提供了随时与同学、老师交流的空间，希望您能充分利用，顺利完成学业。本课程的考核采用形成性考核与终结性考试相结合的方式。形成性考核共有9次任务，从右侧“形考作业”栏目进入。每次任务都有截止日期，请您注意。在您利用平台进行学习或提交作业前，请务必先查看左侧“使用帮助”栏目中的“学生使用手册”。衷心祝愿你学习顺利！
>>点击进入
集合论是德国数学家康托尔（G.Cantor）于19 世纪末创立的，它在数学中占有独特的地位. 由于集合论的语言简洁，具有很强的概括性，它的基本概念已经成为数学的基础，也是计算机科学中经常应用的基本概念. 在本专业的操作系统、数据库应用技术等课程学习中都需要应用本单元的知识. 这一部分的主要内容是集合及其运算、关系与函数. 学习二元关系时需要线性代数的一些基本概念，因此请大家要预先温习线性代数中矩阵概念与运算.
本章主要内容：集合的概念与表示，集合运算，容斥定理.
学习时间建议：教材＋网上学习内容＋本章小结＝6学时
本章主要内容：关系的概念及运算、关系的性质与闭包运算，几个重要关系，函数.
学习时间建议：教材＋网上学习内容＋本章小结＝15学时
03任务（书面作业）下载
图论是一门应用广泛内容丰富的数学分支，与群论、矩阵论、概率论、拓扑学、数值分析等有密切关系. 在本专业的操作系统、数据结构、计算机网络等课程学习中都需要应用本单元的知识. 学习基础图论所需要的数学基础主要为有关集合论与线性代数的一些基本概念，因此需要温习线性代数中矩阵概念与运算.
本章主要内容：图的基本概念与握手定理，连通性与连通度，图的矩阵表示及计算.
学习时间建议：教材＋网上学习内容＋本章小结＝ 8.5学时
本章主要内容：欧拉图与汉密尔顿图的概念、性质、判定，平面图的概念、性质、判定，对偶图及着色的概念.
学习时间建议：网上学习内容＋ 本章小结＝8.5学时
本章主要内容：树的定义及性质，生成树与最小生成树的概念与求解算法（Kruskal 算法），根树的概念及性质，最优树的概念与求解算法（Huffman 算法），最优树的应用（前缀码的求法）.
学习时间建议：网上学习内容＋ 本章小结＝ 8.5学时
07任务（书面作业）下载
数理逻辑是通过引进一套符号体系，利用数学方法来研究推理规律的学科，也称符号逻辑或逻辑的数学．现代数理逻辑可分为证明论、模型论、递归函数论、公理化集合论等，其中命题逻辑与谓词逻辑是基本的部分.
数理逻辑在专家及决策系统的设计与实现方面有着直接而重要的应用.
本章主要内容：命题的概念、命题联结词的概念，命题公式的解释，范式（合取、析取、主合取、主析取范式）的概念与求法，命题公式的等值式与蕴含式，命题逻辑的推理理论.
学习时间建议：网上教学内容＋ 本章小结＝ 15学时
本章主要内容：谓词的概念，量词的概念，谓词公式的解释，范式（前束范式）的概念与求法，谓词公式的等值式与蕴含式，谓词逻辑的推理理论.
学习时间建议：网上学习内容＋ 本章小结＝ 8 学时
09任务（书面作业）下载
N ，则关系R 的n 次幂R n 定义为： 
课程说明（文本）
考核说明
教学大纲
旧版课程
帮助文档
电话
教师邮箱
QQ群
访客用户
