重要通知：因受新冠病毒疫情影響，原定8月9~14日舉辦的“CCD2020”取消，謹致歉意！

課程1 計算機問題求解：

屬于傳統課程的新上法，由南京大學陳道蓄教授授課。課程涉及“典型應用問題及其求解方法”，“復雜性理論初步與難問題的算法”的部分內容。這些內容會更好地體現數學理論與問題求解技術的深入結合，并在一定程度上反映計算機算法領域的發展，使得參加導教班的老師對于本課程教學改革的全貌有更好的理解。同時我們也希望對于如何在基礎課程中培養學生探索學習能力，甚至于對于提高基礎課程教師的計算機科學素養有所啟發。

講師介紹

陳道蓄 南京大學教授

CCF會士，首屆CCF杰出教育獎獲得者。憑借對國內高校計算機專業本科教育的獨到見解和深刻認識，開展了一系列具有示范意義的探索和實踐工作。針對“知識被條塊切割、學習能力訓練不被重視、學生創新能力被無形壓制”等國內本科教學弊端，創新性地以“自學習能力培養、問題求解能力訓練”為核心，將計算機科學中偏算法抽象的若干門基礎課程進行了內容重組，提出了“自我探索、深度引導、理論嚴密、訓練充分”的課程教學理念。

課程2 離散數學與Python建模與實現：

課程主要有三個方面：1.以邏輯為認知基礎，重新構建離散數學知識體系。研究數理邏輯的表征方法以及形式證明方法。謂詞邏輯作為集合論、圖論以及代數系統基礎的概念、運算和關系由邏輯命題表征，其定理證明變為邏輯證明。2.以計算（Python程序）為認知基礎，使用現代工具構建集合論、圖論以及代數系統的概念、運算和關系，從而培養學生發現和驗證的科學素質和工程能力。用計算（Python程序）驗證定理，用Isabelle證明器邏輯證明邏輯定理。3.研究離散數學作為計算機專業基礎問題。數理邏輯的命題邏輯作為數字邏輯以及計算機組成的基礎。集合論、圖論作為軟件模型，以解決離散數學作為計算機專業基礎問題。

講師介紹

馬殿富 北京航空航天大學教授

CCF 杰出會員，工程教育專業認證專家，曾任北京航空航天大學計算機學院院長、CCF教育工作委員會主任、教育部計算機科學與技術教學指導委員會秘書長?，F任軟件開發環境國家重點實驗室副主任。多年從事離散數學及安全關鍵系統軟件建模與形式驗證等方面的教學工作。2005年獲高等教育國家級教學成果獎一等獎，2014年獲高等教育國家級教學成果獎二等獎，2019年獲CCF杰出教育獎。

課程3 軟件工程：

軟件工程是計算機科學與技術、軟件工程等專業的一門核心專業課程，具有知識點抽象、實踐要求高等特點。該課程的教與學普遍存在著“很難教、不易學、難學好、知難做更難”等突出問題，對認課老師的專業知識、工程水平、開發經驗等提出了一系列挑戰。本期導教班針對該課程教學的特點和難點，結合軟件工程專業和學科發展，以能力培養為目標、實踐教學改革為切入點，系統講授如何圍繞課程規范和知識體系、實踐設計及實施方法、考評方式和手段、教學支撐平臺等方面開展教學改革，內容包括：課程教學特點和難點及專業發展，課程教學目標及知識體系、基于開源和群智的實踐教學方法、課程實踐教學改革及示例、課程考評方法改革及示例、課程教學和實踐教學示范及教學成效分析、課程教學和實踐支撐平臺等。本次課程還將提供配套的教材、課件、案例、社區、平臺等教學資源，以幫助教師落實教改思想。

講師介紹

毛新軍 國防科技大學教授

CCF杰出會員，CCF教育工作委員會和CCF軟件工程專業委員會委員，CCF長沙分部副主席，信息技術新工科產學研聯盟和中國高校計算機教育MOOC聯盟的實踐教學工委主任，主要從事軟件工程方面的科學研究、專業和課程建設、教學教改和人才培養工作，軟件工程國家精品課程和精品資源共享課程、湖南省線上線下混合式一流本科課程的主講老師，出版教材和著作5部，獲省部級教學成果一等獎2項，國家級教學成果二等獎1項。

待定

待定

北京（中國科學院大學雁棲湖校區國際會議中心，北京市懷柔區京加路380號）

導教班面向計算機院系具有較豐富教學經歷的教師，他們應該對計算機教育改革有熱情，對參加這樣的活動有強烈的興趣，并能夠投入一段時間集中精力學習。本期導教班設置三門課程，每門課每個學校限一位老師報名，每人只可報名一門課程。

三門課程三個班，每班學員限額25名，將根據資格和地區分布等因素錄取。

CCF會員3600元，非會員4600元。統一安排食宿。食宿交通費用自理。

西部五所高校（新疆大學、青海大學、貴州大學、云南大學、寧夏大學）共有兩個免注冊費名額（限CCF會員，需本人提出書面申請發郵件至adl@ccf.org.cn，CCF將進行資格審核，并按照申請順序進行錄?。?。