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

《中国地质大学(武汉) 教学研究立项申请书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、+附件1：项目编号中国地质大学（武汉）教学研究立项申请书项目名称《离散数学》“精品课程”建设项目类别精品课程建设申请人蔡之华申请单位计算机学院申请日期2007年3月26日中国地质大学（武汉）教务处制二ＯＯ五年1项目名称《离散数学》“精品课程”建设项目类别□品牌专业建设■精品课程建设□人才培养□其它研究起始时间2007年9月完成时间2009年9月内容简介：离散数学是现代数学的一个重要分支，是计算机科学的理论基础，是计算机类专业的核心、骨干课程。一方面，它为后续课，如数据结构、编译原理、操作系统、数据库原理和人工智能等提供必要的数学基础；另一方面，通过学

2、习离散数学，可以培养和提高学生的抽象思维与逻辑推理能力，为学生今后继续学习和科研工作，打下必备的数学基础。本项目将全面研究适合于时代发展的离散数学教学内容、教学方法并完成教学改革。姓名蔡之华最终学位/授予国家博士/中国性别男专业技术职称/行政职务教授/副院长出生年月1964年5月校内工作单位计算机学院现任课程离散数学、数据结构、组合数学、数据挖掘、遗传算法等联系电话（手机）67883713（办），62359809（小灵通）项E-mailzhcai@cug.edu.cn目任课时间课程名称学时授课对象所在单位负离散数学（双语责2005年秋50本科生计算机

3、学院教学）人2005年秋组合数学60研究生研究生院任简2005年春数据挖掘40研究生研究生院况课2005年春遗传算法40研究生研究生院2004年秋组合数学60研究生研究生院经离散数学（双语教2004年秋50本科生计算机学院学）历2003年秋离散数学70本科生计算机学院2003年春数据结构50本科生计算机学院2002年秋离散数学70本科生计算机学院2起止时主项目名称立项单位获奖情况间要项教《离散数学》“十一五”精品教2005.9-教务处目学材建设2007.9改2003.9-负《离散数学》课程建设教务处2005.9革责2002.1-和《离散数学》网络课件

4、教务处2003.3人科《离散数学》网络辅助教学及试1998.9-研教务处省教学三等奖简题库系统2000.9工基因表达式编程及在知识发现2003-2况作省科技厅中的应用研究006经2006-2历演化滤波国防科工委009副高级总高级职称21中级职称3初级职称职称人数博士2硕士3本科1其它最终硕姓名薛思清性别男年龄33职称/职务讲师学位士单位现任离散数学、人教学理论、教学实计算机学院项目分工部门课程机交互践最终学项姓名吴杰性别男年龄30职称/职务讲师学位士目单位现任离散数学、C教学理论、教学实计算机学院项目分工部门课程语言践组最终博主姓名曾三友性别男年龄4

5、3职称/职务教授学位士要信息安全数学单位现任内容组织、教学实计算机学院基础、离散数项目分工成部门课程践学、组合数学员最终硕姓名赵蔓性别女年龄39职称/职务副教授学位士单位现任离散数学、人计算机学院项目分工技术指导、资料收集部门课程工智能最终硕姓名王改芳性别女年龄32职称/职务讲师学位士单位现任人工智能、软计算机学院项目分工教学实践部门课程件工程最终姓名性别年龄职称/职务学位单位现任项目分工部门课程3一、研究的目的及其理论依据、实际意义（一）研究的目的本研究的目的是在原有课程建设的基础上加快建设步伐，使《离散数学》课程全面达到学校“精品课程”建设标准，

6、进入省级乃至国家级的“精品课程”行列，同时让学生能更好地掌握《离散数学》的内容，并达到灵活运用，培养学生的理论素养的目的。项（二）研究的理论依据和实际意义离散数学是现代数学的一个重要分支，也是计算机专业课程体系中地位极为重要的专业基础课之一。它以研究离散量的结构及相互关系为主要目标，充分描述了计算机科学离散性的特点。该课程是数据结构、操作系统、计算机网络、算法设计与分析、软件目工程、人工智能、形式语言、编译原理等计算机本科阶段核心课程的基础，也是组合数学、遗传算法、数据挖掘等计算机硕士研究生阶段相关课程的重要基础。离散数学的主要内容包括集合论、数理逻

7、辑、代数结构和图论四部分。数理逻辑与代数结构的研究思想和研究方法在计算机科学中的许多研究领域得到了广泛的应用，解决了大量的计算机科学问题。数理逻辑是研究推理的学科，在人工智能、程序理论和数论据库理论等的研究中有重要的应用。代数结构是关于运算或计算规则的学问，在计算机科学中，代数方法被广泛应用于许多分支学科，如可计算性与计算复杂性、形式语言与自动机、密码学、网络与通信理论、程序理论和形式语义学等。集合论和图论在计算机科学中也有广泛的应用，他们为数据结构和算法分析奠定了数学基础，也为许多问题从算法角度如何加以解决提供了进行抽象和描述的一些重要方法。证离散

8、数学不仅是计算机技术迅猛发展的支撑学科，更是提高学生逻辑思维能力、创造性思维能力以及形式化表述能力的动力源，