2009年度家精品课程.docVIP

2009年度“国家精品课程” 申报表 推 荐 单 位 广西壮族自治区教育厅 所 属 学 校 桂林电子科技大学 （非部属） 课 程 名 称 计算机科学导论 课程层次（本/专） 本科 课 程 类 型 理论课 所属一级学科名称 理学 所属二级学科名称 电子信息科学类 课 程 负 责 人 董荣胜 申 报 日 期 2009年5月16日 中华人民共和国教育部制 二○○九年三月 课程负责人情况 1-1 基本 信息 姓 名 董荣胜 性 别 男 出生年月 1965.04 最终学历 大学 职 称 教授 电 话 0773-5601330 学 位 学士 职 务 无 传 真 0773-5602611 所在院系 计算机与控制学院 E-mail ccrsdong@ 通信地址 桂林电子科技大学计算机与控制学院(邮编：541004) 研究方向 计算学科认知理论、协议工程 1-2 教学 情况 一、近五年来讲授的主要课程 （1）计算机科学导论（含原“计算机科学与技术方法论”课程），专业基础课（本科），每周4学时，5届，400余人； （2）数据库原理，专业基础课（本科），每周4学时，3届，300余人； （3）形式语言与自动机，专业课（本科），每周4学时，3届，300余人； （4）形式化技术，专业课（本科），每周4学时，2届，200余人； （5）计算机方法论，研究生课程，每周2学时，3届，80余人。 二、承担的实践性教学 （1）本科生毕业设计，五届，共16人； （2）指导硕士研究生21人，毕业12人，在读9人。 三、主持的教学研究课题 （1）广西首批教学团队“计算机学科核心课程教学团队”； （2）广西高等教育教学改革工程重点项目“计算机学科核心课程体系的研究与实践”； （3）广西教育科学“十五”规划重点课题：建立计算学科的科学与技术方法论； （4）广西高等教育教学改革工程重点项目：计算机科学与技术方法论的建立及其教学实践。 四、在国内外刊物上发表的教学论文 （1）计算思维与计算机.计算机科学,20036(4) （2）计算思维与计算机.计算机科学,20036(1) （3）计算机学科导论课程的构建及其实践.大学计算机课程报告论坛论文集2006（专题报告），高等教育出版社，，291） （5）后序——授之以鱼，还是授之以渔？（独著）.计算机科学,2003,30（6,全国“计算机科学与技术方法论”专题学术研讨会论文专辑） （6）计算教育哲学初探（第一作者）．计算机科学，2000，27（1） （7）计算教育的三个重大问题（第一作者）．计算机科学，2002，29（7，增刊） （8）挖掘课程的智慧（第一作者）.计算机教育，2003.12 （9）软件开发中使用系统化方法的真正原因（第一作者）.计算机教育,2006.4 五、获得的教学表彰/奖励 （1）2005年，主持的广西新世纪教改工程重点“计算机科学与技术方法论的建立及其教学实践”获广西壮族自治区教学成果奖一等奖（排名第一）； （2）2009年，参与的广西新世纪教改工程重点“一般工科院校计算机学科形式化方法教育的探索与实践”获广西壮族自治区教学成果奖一等奖（排名第三） （3）2004年，著作型教材《计算机科学与技术方法论》一书获广西普通本科院校优秀教材一等奖（排名第一）； （4）获2001年度桂林电子工业学院优秀教师称号。 1-3 学术 研究 一、近五年来承担的学术研究课题 （1）2009年4月至2012年4月，主持广西自然科学基金项目“基于博弈论框架的无线自组网性能及安全研究”的工作。 （2）2005年8月至2008年12月，主持广西自然科学基金项目“模型检验和定理证明相结合的安全协议分析技术研究”的工作，项目通过验收,评为优秀； （3）2003年1月至2005年12月，参与（排名第二）国家自然科学基金项目“混杂生产过程的混杂Petri网建模和符号调度技术研究”的工作； （4）2007年1月至2010年12月，参与（排名第二）国家自然科学基金项目“基于时态认知逻辑的特征交互无界模型检测”的工作； （5）2006年1月至2008年12月，参与（排名第三）国家自然科学基金项目 “装配序列生成的符号技术研究”的工作； 二、在国内外主要刊物上发表的学术论文（著作） 　 （1）Model Checking Behavioral Specification of BPEL Web Serv