欢迎来到天天文库
浏览记录
ID:35420327
大小:76.00 KB
页数:3页
时间:2019-03-24
《离散数学授课计划表201420151》由会员上传分享,免费在线阅读,更多相关内容在应用文档-天天文库。
1、GDOU-B-11-007广东海洋大学2014—2015学年第一学期授课计划表任课教师:邹阿金授课时间:2014年9月~2014年12月(共14周)第1页(总3页)课程名称离散数学课程编号16221301-0计划时数56学分3.5理论时数54实验时数作业时数其它2采用教材离散数学(修订版)出版社高等教育出版社出版时间2008.6编著者耿素云、屈婉玲统编自编统编使用层次本科年级二专业计科所用教学大纲名称《离散数学》课程教学大纲周别及日期教学类别及内容必读书籍和参考书籍讲课实验课或习题学时主要内容学时主要内容一9.9二9.15二9.16三9.22三9.23四9.29四9.30五10
2、.6五10.7六10.132222222222第一部分:数理逻辑第一章命题逻辑基本概念(4学时)1.1命题与联结词(A)1.2命题公式及其赋值(A)第二章命题逻辑等值演算(4学时)2.1等值式(A)2.2析取范式与合取范式(A)第三章命题逻辑的推理理论(2学时)3.1推理的形式结构(A)3.2自然推理系统P(A)第四章一阶逻辑基本概念(4学时)4.1一阶逻辑命题符号化(A)4.2一阶逻辑公式及解释(A)第五章一阶逻辑等值演算与推理(4学时)5.1一阶逻辑等值式与置换规则(A)5.2一阶逻辑前束范式(B)5.3一阶逻辑推理理论(A)第二部分:集合论(12学时)第六章:集合代数(2
3、学时)6.1集合的基本概念(A)6.2集合的运算(A)P15-19:1,2,4,5,14,16,19,22P39-42:1,2,3,4,7,8,11,12,13,18,19,20P53-56:1,3,6,9,11,13,15P68-71:1,2,4,6,7,9,11,14P84-88:2,5,12,14,17,20P103-109:1,2,3,7,17,231、《离散数学导论》,徐洁磐,高等教育出版社2、《离散数学典型例题与解法》,邹阿金等,国防科技大学出版社六10.14七10.20七10.21八10.27八10.28九11.3九11.4十11.10十11.11十一11.172
4、2222222226.3集合恒等式(A)第七章二元关系(8学时)7.1有序对与笛卡儿积(A)7.2二元关系(A)7.3关系的运算(A)7.4关系的性质(A)7.5关系的闭包(A)7.6等价关系与划分(A)7.7偏序关系(A)第八章函数(2学时,机动)8.1函数的定义与性质(B)8.2函数的复合与反函数(B)第三部分:代数结构(10学时)第十章:代数系统(4学时)10.1二元运算及其性质(A)10.2代数系统(A)第十一章半群与群(6学时)11.1半群与独异点(A)11.2群的定义与性质(A)11.3群的同态与同构(B)11.4循环群与置换群(A)第四部分:图论(14学时)第十四
5、章图的基本概念(5学时)P140-145:1,6,9,12,15,20,25,31,33,36,46,48P164-167:2,7,17,20,25P191-193:1,4,7,10,11,17P228-231:2,4,5,9,14,36P288-292:1,5,9,10,21,29,44,46,47十一11.18十二11.24十二11.25十三12.1十三12.2十四12.8十四12.9十五12.1522122212214.1图(A)14.2通路与回路(A)14.3图的连通性(A)14.4图的矩阵表示(A)第十五章欧拉图与哈密顿图(2学时)15.1欧拉图(A)15.2哈密顿图
6、(A)15.3带权图与货郎担问题(B)第十六章树(5学时)16.1无向树及其性质(A)16.2生成树(A)16.3根树及其应用(A)第十七章平面图(2学时)17.1平面图的基本概念(A)17.2欧拉公式(A)17.3平面图的判断(B)复习与答疑P303-305:1,13,18P319-322:2,4,19,25,37,38,41,42P337-3411,2,10填写时间:2014年9月1日任课教师签名:系(或教研室)主任签名:
此文档下载收益归作者所有