您的位置：首页 > 活动 > 培训 > CCD

CCD2021 | 南大陈道蓄、北大李晓明、北航马殿富、国防科大毛新军北京开讲 Copy1

阅读量:128 2023-05-31 收藏本文

CCF Computing Courses Development (CCD)

CCF计算机课程改革导教班
2021年8月15-20日北京

中国计算机学会（简称CCF）于2013年创建“CCF计算机课程改革导教班”（简称CCD），邀请在课程教学改革方面有心得、有经验的资深教师，就他们在一线教学的课程内容和教学方法做深度介绍，组织切磋交流。导教班已成功举办七期。

导教班旨在促进我国高校计算机课程教学改革，既包括传统课程的新上法，也包括适应时代发展的新课程。其具体目的之一，是希望通过这些课程的深度引导讲授和交流，使参与学习的教师能将所获用于自己的教学工作中。2021年CCF计算机课程改革导教班（CCD2021）将于8月15~20日在北京举办。本期导教班邀请到南京大学教授陈道蓄、北京大学教授李晓明、北京航空航天大学教授马殿富、国防科技大学教授毛新军做专题讲座，拟开设四门课程分别为：计算机问题求解、社会科学中的计算思维方法、离散数学与Python建模与实现、软件工程。具体情况介绍如下：

课程1 计算机问题求解：

属于传统课程的新上法，由南京大学陈道蓄教授授课。课程涉及“典型应用问题及其求解方法”，“复杂性理论初步与难问题的算法”的部分内容。这些内容会更好地体现数学理论与问题求解技术的深入结合，并在一定程度上反映计算机算法领域的发展，使得参加导教班的老师对于本课程教学改革的全貌有更好的理解。同时我们也希望对于如何在基础课程中培养学生探索学习能力，甚至于对于提高基础课程教师的计算机科学素养有所启发。

讲师介绍

陈道蓄南京大学教授

CCF会士，首届CCF杰出教育奖获得者。凭借对国内高校计算机专业本科教育的独到见解和深刻认识，开展了一系列具有示范意义的探索和实践工作。针对“知识被条块切割、学习能力训练不被重视、学生创新能力被无形压制”等国内本科教学弊端，创新性地以“自学习能力培养、问题求解能力训练”为核心，将计算机科学中偏算法抽象的若干门基础课程进行了内容重组，提出了“自我探索、深度引导、理论严密、训练充分”的课程教学理念。

课程2 离散数学与Python建模与实现：

课程主要有三个方面：1.以逻辑为认知基础，重新构建离散数学知识体系。研究数理逻辑的表征方法以及形式证明方法。谓词逻辑作为集合论、图论以及代数系统基础的概念、运算和关系由逻辑命题表征，其定理证明变为逻辑证明。2.以计算（Python程序）为认知基础，使用现代工具构建集合论、图论以及代数系统的概念、运算和关系，从而培养学生发现和验证的科学素质和工程能力。用计算（Python程序）验证定理，用Isabelle证明器逻辑证明逻辑定理。3.研究离散数学作为计算机专业基础问题。数理逻辑的命题逻辑作为数字逻辑以及计算机组成的基础。集合论、图论作为软件模型，以解决离散数学作为计算机专业基础问题。

讲师介绍

马殿富北京航空航天大学教授

CCF 杰出会员，工程教育专业认证专家，曾任北京航空航天大学计算机学院院长、CCF教育工作委员会主任、教育部计算机科学与技术教学指导委员会秘书长。现任软件开发环境国家重点实验室副主任。多年从事离散数学及安全关键系统软件建模与形式验证等方面的教学工作。2005年获高等教育国家级教学成果奖一等奖，2014年获高等教育国家级教学成果奖二等奖，2019年获CCF杰出教育奖。

课程3 软件工程：

软件工程是计算机科学与技术、软件工程等专业的一门核心专业课程，具有知识点抽象、实践要求高等特点。该课程的教与学普遍存在着“很难教、不易学、难学好、知难做更难”等突出问题，对认课老师的专业知识、工程水平、开发经验等提出了一系列挑战。本期导教班针对该课程教学的特点和难点，结合软件工程专业和学科发展，以能力培养为目标、实践教学改革为切入点，系统讲授如何围绕课程规范和知识体系、实践设计及实施方法、考评方式和手段、教学支撑平台等方面开展教学改革，内容包括：课程教学特点和难点及专业发展，课程教学目标及知识体系、基于开源和群智的实践教学方法、课程实践教学改革及示例、课程考评方法改革及示例、课程教学和实践教学示范及教学成效分析、课程教学和实践支撑平台等。本次课程还将提供配套的教材、课件、案例、社区、平台等教学资源，以帮助教师落实教改思想。

讲师介绍

毛新军国防科技大学教授

CCF杰出会员，CCF教育工作委员会和CCF软件工程专业委员会委员，CCF长沙分部副主席，信息技术新工科产学研联盟和中国高校计算机教育MOOC联盟的实践教学工委主任，主要从事软件工程方面的科学研究、专业和课程建设、教学教改和人才培养工作，软件工程国家精品课程和精品资源共享课程、湖南省线上线下混合式一流本科课程的主讲老师，出版教材和著作5部，获省部级教学成果一等奖2项，国家级教学成果二等奖1项。

课程4 社会科学中的计算思维方法：

这是一门采用混合式教学方式开展的交叉学科课程，类型为本科生通识课。课程用计算的语言讨论社会科学经典问题，强调抽象、分析、推理和验证，籍此探索相关社会现象的机制、原理和原因。所涉及的问题包括社会网络，市场机制，信息级联，网络级联，网络效应，网络结构稳定性，关系平衡，流行性，小世界，信息不对称，表决等方面。通过本课程，预期学习者将了解一系列社会科学问题与成果，熟悉从计算思维的视角对它们进行讨论和分析的方法，掌握图论和博弈论基本概念，并能用它们有效交流思想。

讲者介绍