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