中国地质大学(武汉) 教学研究立项申请书

科综合考试的必考科目之一。本课题组将充分调研该课程与考研、就
业、科研的相关情况以及我校计算机学科各专业（计算机应用、信息
安全、网络工程等）的特点重新优化组织教学内容；
告 （4） 教材建设：教材建设是课程建设的重点，针对当前计算机学科发展现
状以及对教学内容的分析，结合教学实践，更新和补充相应的教学内
容，编写合适的教材，以利于课堂教学；同时收集各类《离散数学》
随着现代信息技术的发展，计算机学科的发展也非常迅速，离散数学作为 目 计算机科学与技术专业的专业基础课程也随之不断发展变化。该课程是于 1977
年被 IEEE 确定为计算机专业核心主干课程，2001 年又被 IEEE 和 ACM 确定为计 算机专业第一核心主干课程。
离散数学包括传统的图论、组合数学、数论、规划论、逻辑集合及代数结构等 领域，离散数学的研究对象通常是各种有限结构，其中元素之间存在某种关系，但 论 一般不是代数运算关系．例如，极为复杂的超大规模集成电路，成千上万个元件置 于一小块硅片上组成一个电路，在这个领域内存在着大量急需解决而又极端困难的 问题；联系着大脑和感觉器官的神经网络，需要进行组合数学的研究，“人工智能” 很需要这方面的成果．20 世纪公认的伟大数学家盖尔芳德曾预言：组合数学和几何 学将是 21 世纪数学研究的前沿阵地。 证 目前国内成立的有关离散数学的研究中心有： （1）中国科学院 离散数学研究中心 （2）福州大学 离散数学与理论计算机科学研究中心 （3）南开大学 组合数学研究中心 报 目前本课程获得国家级“精品课程”称号的有： （1）北京大学 负责人：屈婉玲教授 （2）吉林大学 负责人：孙吉贵教授
+附件 1：
项目编号
中国地质大学（武汉）
教学研究立项申请书
项目名称 《离散数学》“精品课程”建设
项目类别
精品课程建设
申请人
蔡之华
申请单位
计算机学院
申请日期
2007 年 3 月 26 日
中国地质大学（武汉）教务处制 二ＯＯ五年
1
项目名称
《离散数学》“精品课程”建设
项目类别
□品牌专业建设 ■精品课程建设 □人才培养 □其它
学、遗传算法、数据挖掘等计算机硕士研究生阶段相关课程的重要基础。
离散数学的主要内容包括集合论、数理逻辑、代数结构和图论四部分。数理逻辑与
代数结构的研究思想和研究方法在计算机科学中的许多研究领域得到了广泛的应用，解
决了大量的计算机科学问题。数理逻辑是研究推理的学科，在人工智能、程序理论和数
论 据库理论等的研究中有重要的应用。代数结构是关于运算或计算规则的学问，在计算机
《离散数学》课程建设
2003.92005.9
责和
《离散数学》网络课件
2002.1-
人 简 况
科 研 工 作 经
《离散数学》网络辅助教学及试 题库系统
基因表达式编程及在知识发现 中的应用研究
2003.3 1998.92000.9
2003-2 006
历
演化滤波
2006-2 009
教务处 教务处 教务处 省科技厅 国防科工委
省教学三等奖
总 人
高级职称
副高级 2 职称
1 中级职称 3 初级职称
数
博士
2
硕士
3
本科
1
其它
姓名
单位 部门
项 姓名 目 单位 组 部门 主 姓名 要 单位 成 部门 员
姓名
单位 部门
姓名
单位 部门
姓名
单位 部门
薛思清 性别 男 年龄 33
计算机学院
现任 离散数学、人 课程 机交互
吴杰 性别 男 年龄 30
多差异，本项目拟在我们前期《离散数学》教学和教学研究的基础上，对《离散数学》
的教学内容和教学方法进行全面、深入的研究，找出适合培养高素质的计算机专业类毕
业生的最佳途径，因此该项目不仅有重要的理论意义，还有重要的现实意义。
告
4
二、研究的指导思想及主要内容
我校计算机专业已有二十年的历史了，在设立计算机专业之初就对《离
研究起始时间
2007 年 9 月
完成时间
2009 年 9 月
内容简介： 离散数学是现代数学的一个重要分支，是计算机科学的理论基础，是计算机类专业的
核心、骨干课程。一方面，它为后续课，如数据结构、编译原理、操作系统、数据库原理 和人工智能等提供必要的数学基础；另一方面，通过学习离散数学，可以培养和提高学生 的抽象思维与逻辑推理能力，为学生今后继续学习和科研工作，打下必备的数学基础。本 项目将全面研究适合于时代发展的离散数学教学内容、教学方法并完成教学改革。
论
证
报
告
6
三、本课题在国内外的研究现状及发展趋势分析
美国 IEEE & ACM 组织（the Institute for Electrical and Electronic Engineers and the Association for Computing Machinery）一直对世界性计 算机教育起着指导性作用，他们曾分别于 1968 年、1978 年、1983 年和 1991 年 对计算机专业课程进行了较大的修改。2001 年该组织又推出了 CC2001 项 （Computing Curricula 2001）教程，此教程对于我们的培养方案与课程设置 有较大启发。我国一些计算机专家依照 CC2001 计划结合我国实际也相应地制定 出了 CCC2002（China Computing Curricula 2002）、CCC2004（China Computing Curricula 2004）学科教程。
7
四、完成本项目研究已具备的基本条件、工作基础以及其它有利条件，拟采取的 研究方法及主要措施
针对国外计算机专业 2001 教学计划，国家教育部组织专家制定的 2001 计算
机专业教学计划中对《离散数学》教学提出了若干新的建议。本课题组针对 2001
计算机教学计划的要求，在中南地区计算机专业教学会议上提交的教学研究论文
试题（如考研题目、重点高校试题），编写一本与教材配套的习题集，
注重解题思路，以培养学生抽象思维和形式化表述能力为目标；
（5） 现代教学手段运用：推广使用已有的基于网络技术的教学辅助方法并
不断完善，研究、分析使用新的教学手段（Internet 技术、多媒体技
术等）后的教学效果；
（6） 试题库建设：进一步完善已有的试题库系统；
项 目 分工
最终 学 学位 士
项 目 分工
最终 博 学位 士
职称/职务 讲师
教学理论、教学实 践
职称/职务 讲师
教学理论、教学实 践
职称/职务 教授
项 目 分工
内容组织、教学实 践
最终 学位
硕 士
职称/职务
副教授
项 目 分工 技术指导、资料收集
最终 学位
硕 士
职称/职务
讲师
项 目 分工
教学实践
最终 学位
姓名
蔡之华 最终学位/授予国家
博士/中国
性别
男
专业技术职称/行政职务
教授/副院长
出生年月 1964 年 5 月 校内工作单位
计算机学院
现任课程
离散数学、数据结构、组合数学、数据挖掘、遗传算法等
联系电话（手机）
67883713（办），62359809（小灵通）
项
E-mail
目
任课时间 负
责
2005 年秋
人 简任
况 课
2005 年秋 2005 年春 2005 年春
课程名称 离散数学（双语
教学） 组合数学
数据挖掘
遗传算法
zhcai@
学时
授课对象
50
本科生
60
研究生
40
研究生
40
研究生
所在单位 计算机学院 研究生院 研究生院 研究生院
经 2004 年秋
组合数学
60
2004 年秋
离散数学（双语教 学）
告 目前国内同类课程大致可以分为三个层次： （1）少数名牌高校（清华，北大、南京大学等）为强化基础理论，将离散数学课 程分拆为多门课程，如北大分成三门：集合论与图论、数理逻辑、代数系统与组合 数学，他们的学时达200 余学时。 （2）大多数重点院校的离散数学课程，兼顾计算机科学和计算机应用，内容较为 宽广深入，讲授课时大约在 64—96 学时。我校属于该类。 （3）一般本科和专科院校要求稍低，只讲授和计算机应用有关的离散结构数学模 型。目前多数院校属于这种情况。
目 大特色的计算机专业是本项目研究的指导思想。为了符合我院的办学思想以
及更好地建设本课程并针对目前《离散数学》教学中存在的问题，我们决定
确定本项目研究。主要研究内容包括：
（1） 离散数学对计算机创新教育的推动作用：计算机专业创新教育非常迫
切，而作为计算机专业基础的《离散数学》教学将在其中起到重要的
论
项 散数学》的教学给予了高度的重视，并取得了一批成果。随着科学技术的发
展，计算机技术的日新月异，计算机学院提出了“要把我校计算机专业建设
成为以智能计算为主要发展方向并结合地学优势学科的具有中国地质大学
特色的计算机学科”的办学思路，而离散数学正是智能计算的必备基础。研
究《离散数学》的教学内容和教学方法，培养计算机创新人才，建设具有地
该课程进行全面建设与改革，修订建设方案，将《离散数学》建设成
为具有我校计算机专业特色的“精品课程”；
（3） 教学内容的精心组织：离散数学的内容本身也很“散”，虽然主要内
容包括：集合论、数理逻辑、代数结构、图论。但具体内容的组织上，
报
不同版本的教材有不同的取舍；而且离散数学近年来已经成为了许多
大学研究生入学考试和同等学力申请硕士学位计算机科学与技术学
作用。探讨离散数学课程对计算机专业创新教育以及对培养学生逻辑
思维能力、创造性思维能力、形式化表述能力的推动作用，希望通过
本课程的建设来带动计算机学科其他相关课程的建设，为全面实施素
质教育打下坚实的基础；
（2） 教学经验总结：学习和借鉴国际国内一流大学《离散数学》课程的建
证
设经验并结合我校计算机专业实际情况以及本门课程的建设现状，对
项
（二）研究的理论依据和实际意义
离散数学是现代数学的一个重要分支，也是计算机专业课程体系中地位极为重要的
专业基础课之一。它以研究离散量的结构及相互关系为主要目标，充分描述了计算机科
学离散性的特点。该课程是数据结构、操作系统、计算机网络、算法设计与分析、软件
目 工程、人工智能、形式语言、编译原理等计算机本科阶段核心课程的基础，也是组合数
科学中，代数方法被广泛应用于许多分支学科，如可计算性与计算复杂性、形式语言与
自动机、密码学、网络与通信理论、程序理论和形式语义学等。集合论和图论在计算机
科学中也有广泛的应用，他们为数据结构和算法分析奠定了数学基础，也为许多问题从
算法角度如何加以解决提供了进行抽象和描述的一些重要方法。
证
离散数学不仅是计算机技术迅猛发展的支撑学科，更是提高学生逻辑思维能力、创
5
二、研究的指导思想及主要内容（续） （7） 考核方式改革：继续尝试可能的各种考核方式，找出能比较客观公正评价
学生学习效果的考核； 项 （8） 课程教学组的建设：无论什么样的建设，归根结底其实都是人的建设，本
课题组将一如既往地继续加强以“课程教学组”为核心的课程建设，与国 内外同行广泛交流，并将交流情况及时进行分析、总结，以提高教学研究 水平。 目
项 引起与会者的极大兴趣。可以说，通过多年的建设，我校《离散数学》教学及研 究工作已走在中南地区的前列，如果继续加紧建设，必会使该课程全面达到“精
50
历
2003 年秋
离散数学
70
研究生 本科生 本科生
研究生院 计算机学院 计算机学院
2003 年春
数据结构
50
本科生
计算机学院
2002 年秋
离散数学
70
本科生
计算机学院
2
项
主
项目名称
要
起止时 间
教 《离散数学》“十一五”精品教 2005.9-
目学
材建设
2007.9
立项单位 教务处
获奖情况
负改 革
造性思维能力以及形式化表述能力的动力源，为他们今后处理离散信息，从事计算机
应用、信息管理和计算机科研打下扎实的数学基础。正是由于离散数学的重要作用，
美国已将离散数学列为21 世纪应重点发展的三个数学领域之一。中国科学院也已成立了
离散数学研究中心，并得到国家的重点资助。
报
通过项目组的对比研究，目前国内、外《离散数学》的教学内容和教学方法还有许
职称/职务
项 目 分工
3
一、研究的目的及其理论依据、实际意义
（一）研究的目的
本研究的目的是在原有课程建设的基础上加快建设步伐，使《离散数学》课程全面
达到学校“精品课程”建设标准，进入省级乃至国家级的“精品课程”行列，同时让学
生能更好地掌握《离散数学》的内容，并达到灵活运用，培养学生的理论素养的目的。
计算机学院
现任 离散数学、C
课程
语言
曾三友 性别 男 年龄 43
计算机学院
现任 课程
信息安全数学 基础、离散数 学、组合数学
赵 蔓 性别 女 年龄 39
计算机学院
现任 离散数学、人 课程 工智能
王改芳 性别 女 年龄 32
Байду номын сангаас计算机学院
现任 人工智能、软 课程 件工程
性别
年龄
现任 课程
最终 硕 学位 士