《数理逻辑》课程教学大纲

学生作业情况抽出一些学时讲解习题, 上述学时分配中有些知识点的讲授应该有富裕时间, 计算机科学与技术专业/ 信息安全专业《数理逻辑》课程教学大纲 9 特别是在利用计算机演示而不是手写板书知识点的情况下, 根据以往经验上述教学内容(包括适量的习题课)应该可在 50 学时内完成。 2. 上述学时合计为 51 学时,还有 3学时作为机动(例如,可能正逢五一放假) ,期中考试可利用这 3学时的机动时间,期末考试由学校统一另行安排时间。六、参考文献本教学大纲的编写除参考有关数理逻辑或离散数学的教材之外,还参考了以下资料与网站: [1] 中山大学计算机科学系, 中山大学信息科学与技术学院主要课程教学大纲——计算机科学与技术分册,内部资料, 2003 年 9 月[2] 教育部普通高中数学课程标准研制工作组, 普通高中课程标准——普通高中数学课程标准(实验) ,人民教育出版社, 2003 年[3] 上海大学离散数学精品课程网站: /lssx/home.htm [4] 天津师范大学离散数学专题网站: /discrete/index.htm [5] 北京大学离散数学课程网站: http://necweb.neu./ncourse/lssx/index.htm [6] 福州大学离散数学与理论计算机科学研究中心: /dimacs/ [7] 北京师范大学离散数学精品网站: http://course.bnu./course/bnucourse/discretemath/ [8] 浙江大学离散数学导学网站: ex.html [9] 厦门大学离散数学网站: http://math.xmu./shuangyu/discrete/ [10] 内蒙古大学离散数学精品课程申请: http://courseware.imu./ 重点课程/计算机学院/离散数学/application.htm