人工智能計(jì)算模型數(shù)學(xué)邏輯研究
天津人工智能計(jì)算模型數(shù)學(xué)邏輯研究
| 授課機(jī)構(gòu) | 集思學(xué)校背景提升 |
| 上課地點(diǎn) | 天津南開八里臺(tái)|詳細(xì)地圖 |
| 成交/評(píng)價(jià) | 5.0分 |
| 聯(lián)系電話 | 400-666-4820 |
|
|
|
課程詳情
???自動(dòng)機(jī)是計(jì)算機(jī)科學(xué)中最基本的結(jié)構(gòu)之一，其在編程語言語義、系統(tǒng)建模和驗(yàn)證中均有重要應(yīng)用。余歸推納是一種證明環(huán)形結(jié)構(gòu)的方法，項(xiàng)目的重點(diǎn)在于介紹余歸推納在推理形式語言及自動(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ī)與正則語言Automata and Regular Languages
??余歸推納:語言對(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é)等專業(yè)或?qū)σ陨蠈I(yè)領(lǐng)域感興趣的學(xué)生。學(xué)生需要具備微積分及線性代數(shù)基礎(chǔ)，修讀過算法與數(shù)據(jù)結(jié)構(gòu)，有Haskell等純函數(shù)式編程語言基礎(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í)間解決遺留問題
??全程助教輔助模式
??項(xiàng)目期間配雙語助教全程輔助教學(xué)過程，不讓任何一位學(xué)生落下進(jìn)度
??班主任跟蹤監(jiān)督模式
??不讓懶惰拖延成為你成功路上的絆腳石
??師生比例1比4
??小班教學(xué)，人人都能與大佬溝通熟悉，打通人脈
???扎實(shí)可見的學(xué)術(shù)成長(zhǎng)
??往期學(xué)員通過項(xiàng)目夯實(shí)學(xué)術(shù)基礎(chǔ)，研究能力和學(xué)術(shù)寫作能力獲得成長(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)文書中展現(xiàn)項(xiàng)目經(jīng)歷，在面試過程中通過描述學(xué)術(shù)項(xiàng)目，向招生官展現(xiàn)自信、專業(yè)度、批判性思維能力，讓申請(qǐng)文書言之有物、脫穎而出。
??加入集思星人組織
??結(jié)識(shí)全球的優(yōu)秀同齡人和科研隊(duì)友，參加海外導(dǎo)師來華參與線下互動(dòng)，獲得海量資料。
