离散数学-授课计划表

南京邮电大学学院：计算机学院2014/2015学年第一学期主讲：罗卫兰专业：软件工程《离散数学》授课计划表辅导：罗卫兰班级：B130409-12（考试/考查）审查(系、教学中心)：课程编号:B0302021S学时:64学分:4批准(学院)：执行大纲版本：2013版大纲周次课次教学内容讲课方式及课时数自学课时作业备注讲课实验上机习题其他11第一章命题逻辑(10)命题及其表示；联结词21-2遇节假日顺延12命题公式与翻译；真值表21-223等价公式；重言式21-224蕴含式；对偶与范式21-235命题演算的推理理论21-236第二章谓词逻辑(6)谓词的概念与表示；命题函数21-247谓词公式与翻译；谓词演算的等价式与蕴含式21-248谓词演算的推理理论21-259第三章集合与关系(9)集合的概念和表示法；集合的运算；序偶与笛卡尔积21-2610关系及其表示；关系的性质21-2611复合关系和逆关系21-2712关系的闭包运算；等价关系与等价类21-2713序关系第五章代数结构(9)代数系统的引入；运算及其性质21-2814半群；群21-2815子群；阿贝尔群21-2第1页填表日期：2014年9月1日周次课次教学内容讲课方式及课时数自学课时作业讲课实验上机习题其他916循环群21-2917同态与同构；环21-21018第六章格与代数系统(5)格的概念21-21019分配格；有补格21-21320布尔代数第七章图论(9)图的基本概念21-21321路与回路21-21422图的矩阵表示21-21423欧拉图21-21524哈密尔顿图21-24实验1：利用真值表法求取主析取范式以及主合取范式的实现4备注：实验均统一安排在课外。8实验2：集合上二元关系性质判定的实现413实验3：偏序关系中盖住关系的求取及格论中有补格的判定415实验4：图的随机生成及欧拉（回）路的确定4合计644816教材：《离散数学》，左孝凌等，上海科学技术文献出版社，2011年。参考书：《离散数学:理论.分析.题解》，左孝凌等，上海科技文献出版社，2011年。《离散数学学练考》，王海艳，清华大学出版社，2004年。《离散数学》，方世昌，西安电子科技大学出版社，2000年。《离散数学及其应用》，KennethH.Rosen著，机械工业出版社，2008年。第2页填表日期：2014年9月1日