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