一阶逻辑推理理论第6章集合代数本章重点及要求：掌握集合的概念、集合的关系与集合的运算，理解集合的表示方法，掌握幂集的概念与求法。第1节集合的基本概念第2节集合的运算第7章二元关系本章重点及要求：了解有序对的概念、掌握笛卡尔积；掌握二元关系的概念、表示、运算与性质；理解闭包的概念，会求关系的闭包。理解等价关系、等价类、商集与划分的概念，掌握偏序关系的判断，会求哈斯图及偏序集中特殊元素。第1节有序对与笛卡尔积第2节二元关系第3节关系的运算第4节关系的性质第5节关系的闭包第6节等价关系与划分第7节偏序关系第10章代数系统本章重点及要求：掌握二元运算的概念与性质、掌握运算律及特殊元素的概念，理解代数系统及子代数系统的概念。第1节二元运算及其性质第2节代数系统
f第11章半群与群本章重点及要求：掌握半群、独异点及群的定义与判断方法；掌握群的性质，理解子群的概念，掌握子群的判别方法。第1节半群与独异点第2节群的定义与性质第3节子群第14章图的基本概念本章重点及要求：了解有向图、无向图的基本概念，掌握通路、回路与图的连通性的概念。第1节图第2节通路与回路第3节图的连通性第15章欧拉图与哈密顿图本章重点及要求：理解欧拉图与哈密顿图的定义，了解欧拉图与哈密顿图判别方法。了解带权图的概念。第1节欧拉图第2节哈密顿图第16章树本章重点及要求：掌握无向树及其等价条件，理解生成树的概念，会求最小生成树。第1节无向树及其性质第2节生成树
学时分配
章123456710111415教学内容命题逻辑基本概念命题逻辑等值演算命题逻辑的推理理论一阶逻辑基本概念一阶逻辑等值演算与推理集合代数二元关系代数系统半群与群图的基本概念欧拉图与哈密顿图学时分配446462124674
f16合计
树
564
教材及参考书目：教材及参考书目：
1耿素云，屈婉玲．离散数学．修订版．北京：高等教育出版社，20042吴顺唐离散数学上海：华东师范大学出版社，1997年3李盘林，李丽双等离散数学北京：高等教育出版社，1999年4左孝凌，李为等离散数学上海：上海科学技术文献出版社，1982年5陈莉，刘晓霞离散数学北京：高等教育出版社，2002年
执笔人：林兆兵
审核人：孙映成
专业负责人：殷庆祥
fr