課程詳情
???自動機是計算機科學中最基本的結構之一，其在編程語言語義、系統建模和驗證中均有重要應用。余歸推納是一種證明環形結構的方法，項目的重點在于介紹余歸推納在推理形式語言及自動機中的應用。學生將在項目中自選加權或概率隨機等自動機的變種進行研究，在項目結束時提交項目報告，進行成果展示。
???自動機與正則語言Automata and Regular Languages
??余歸推納:語言對等的基本技巧Coinduction:basic techniques for language equivalence
??正則表達式和增強余歸推納Regular expressions and enhanced coinduction
??自動機理論在程序驗證中的應用Applications to program verification
??項目回顧與成果展示Program review and presentation
??論文輔導Project deliverable tutoring
???高中生|生
??就讀于計算機科學、計算機工程、離散數學等專業或對以上專業領域感興趣的學生。學生需要具備微積分及線性代數基礎，修讀過算法與數據結構，有Haskell等純函數式編程語言基礎的申請者優先。
???10課時的主導師Lecture
??教研體系深度浸泡
??6課時1對1 Office Hour
??掃除你上課時積累的所有疑難知識點
??12課時的Mentor Session
??指導小組完成實戰項目
??2課時的成果匯報Presentation
??將你所學知識呈獻給導師及所有學員，獲得導師點撥和反饋
??24小時內答疑回復
??24小時內答疑，*時間解決遺留問題
??全程助教輔助模式
??項目期間配雙語助教全程輔助教學過程，不讓任何一位學生落下進度
??班主任跟蹤監督模式
??不讓懶惰拖延成為你成功路上的絆腳石
??師生比例1比4
??小班教學，人人都能與大佬溝通熟悉，打通人脈
???扎實可見的學術成長
??往期學員通過項目夯實學術基礎，研究能力和學術寫作能力獲得成長，完成人生中*篇論文，優秀學員最終發表在了國內或國際核心期刊當中。
??硬核科研成果
??收獲真正能展示你獨特性、批判性思考力的科研經歷，優秀學員有機會獲得一封基于實際表現的真實有效的推薦信，以及導師的項目評分表。
??更強的升學競爭力
??在申請文書中展現項目經歷，在面試過程中通過描述學術項目，向招生官展現自信、專業度、批判性思維能力，讓申請文書言之有物、脫穎而出。
??加入集思星人組織
??結識全球的優秀同齡人和科研隊友，參加海外導師來華參與線下互動，獲得海量資料。
