离散数学教学教材演示幻灯片.pptVIP

离散数学Discrete Mathematics学时：64学分 ：4 讲授：张强; 教材与参考书 教材： [1] 离散数学（第三版），方世昌，西安：西安电子科技大学出版社，2009 参考教材： [1] 离散数学，耿素云，屈婉玲，北京：高等教育出版社，2004 [2] 离散数学，邓辉文，北京：清华大学出版社，2006 ;课程内容;学习方法;培养目标;考核要求;成都信息工程大学 本科学生课程考核与成绩管理办法 第四章 考核资格审查 第七条 审查原则 （一）学生到课（考勤）、作业、实习、实验等环节全部完成并合格，则取得该课程的考核资格。 （二）学生有以下情况之一者，取消考核资格，以“禁考”标识记入个人成绩。 1．缺课五分之一（含五分之一）及以上者； 2．课程作业缺交三分之一（含三分之一）及以上者；或有二分之一不合格者； 3．课程实习、实验作业缺做或实习、实验报告缺交三分之一（含三分之一）及以上者；或有二分之一不合格者； 4．经任课教师认定，平时考核不合格者； 5．未经批准或未办理选课手续，擅自修读该门课程者。 ;1.1　命题 1.2　重言式 1.3　范式 1.4　推理规则和证明方法 1.5　谓词和量词 1.6　谓词演算的永真公式 1.7　谓词演算的推理规则; 数理逻辑（Mathematical Logic); 数理逻辑是用数学方法研究推理的形式结构和推理的规律的数学学科