???自動(dòng)機(jī)是計(jì)算機(jī)科學(xué)中最基本的結(jié)構(gòu)之一，其在編程語(yǔ)言語(yǔ)義、系統(tǒng)建模和驗(yàn)證中均有重要應(yīng)用。余歸推納是一種證明環(huán)形結(jié)構(gòu)的方法，項(xiàng)目的重點(diǎn)在于介紹余歸推納在推理形式語(yǔ)言及自動(dòng)機(jī)中的應(yīng)用。學(xué)生將在項(xiàng)目中自選加權(quán)或概率隨機(jī)等自動(dòng)機(jī)的變種進(jìn)行研究，在項(xiàng)目結(jié)束時(shí)提交項(xiàng)目報(bào)告，進(jìn)行成果展示。

???自動(dòng)機(jī)與正則語(yǔ)言Automata and Regular Languages
??余歸推納:語(yǔ)言對(duì)等的基本技巧Coinduction:basic techniques for language equivalence
??正則表達(dá)式和增強(qiáng)余歸推納Regular expressions and enhanced coinduction
??自動(dòng)機(jī)理論在程序驗(yàn)證中的應(yīng)用Applications to program verification
??項(xiàng)目回顧與成果展示Program review and presentation
??論文輔導(dǎo)Project deliverable tutoring

???高中生|生
??就讀于計(jì)算機(jī)科學(xué)、計(jì)算機(jī)工程、離散數(shù)學(xué)等專(zhuān)業(yè)或?qū)σ陨蠈?zhuān)業(yè)領(lǐng)域感興趣的學(xué)生。學(xué)生需要具備微積分及線(xiàn)性代數(shù)基礎(chǔ)，修讀過(guò)算法與數(shù)據(jù)結(jié)構(gòu)，有Haskell等純函數(shù)式編程語(yǔ)言基礎(chǔ)的申請(qǐng)者優(yōu)先。

???10課時(shí)的主導(dǎo)師Lecture
??教研體系深度浸泡
??6課時(shí)1對(duì)1 Office Hour
??掃除你上課時(shí)積累的所有疑難知識(shí)點(diǎn)
??12課時(shí)的Mentor Session
??指導(dǎo)小組完成實(shí)戰(zhàn)項(xiàng)目
??2課時(shí)的成果匯報(bào)Presentation
??將你所學(xué)知識(shí)呈獻(xiàn)給導(dǎo)師及所有學(xué)員，獲得導(dǎo)師點(diǎn)撥和反饋
??24小時(shí)內(nèi)答疑回復(fù)
??24小時(shí)內(nèi)答疑，*時(shí)間解決遺留問(wèn)題
??全程助教輔助模式
??項(xiàng)目期間配雙語(yǔ)助教全程輔助教學(xué)過(guò)程，不讓任何一位學(xué)生落下進(jìn)度
??班主任跟蹤監(jiān)督模式
??不讓?xiě)卸柰涎映蔀槟愠晒β飞系慕O腳石
??師生比例1比4
??小班教學(xué)，人人都能與大佬溝通熟悉，打通人脈

???扎實(shí)可見(jiàn)的學(xué)術(shù)成長(zhǎng)
??往期學(xué)員通過(guò)項(xiàng)目夯實(shí)學(xué)術(shù)基礎(chǔ)，研究能力和學(xué)術(shù)寫(xiě)作能力獲得成長(zhǎng)，完成人生中*篇論文，優(yōu)秀學(xué)員最終發(fā)表在了國(guó)內(nèi)或國(guó)際核心期刊當(dāng)中。
??硬核科研成果
??收獲真正能展示你獨(dú)特性、批判性思考力的科研經(jīng)歷，優(yōu)秀學(xué)員有機(jī)會(huì)獲得一封基于實(shí)際表現(xiàn)的真實(shí)有效的推薦信，以及導(dǎo)師的項(xiàng)目評(píng)分表。
??更強(qiáng)的升學(xué)競(jìng)爭(zhēng)力
??在申請(qǐng)文書(shū)中展現(xiàn)項(xiàng)目經(jīng)歷，在面試過(guò)程中通過(guò)描述學(xué)術(shù)項(xiàng)目，向招生官展現(xiàn)自信、專(zhuān)業(yè)度、批判性思維能力，讓申請(qǐng)文書(shū)言之有物、脫穎而出。
??加入集思星人組織
??結(jié)識(shí)全球的優(yōu)秀同齡人和科研隊(duì)友，參加海外導(dǎo)師來(lái)華參與線(xiàn)下互動(dòng)，獲得海量資料。