讀心術(shù)難題：用模數(shù)運(yùn)算解釋讀心術(shù)難題Presentation of the mind-reading puzzle.Discussion of modular arithmetic and showing how it explains the mind-reading puzzle.
常識(shí)：泥巴孩子難題、常識(shí)探討、運(yùn)用常識(shí)解讀二將軍問題Common knowledge.Presentation of the muddy children puzzle;initial discussion of common knowledge;applying common knowledge to the coordinated attack problem.
認(rèn)知邏輯：Kripke結(jié)構(gòu)與多模態(tài)邏輯、邏輯公理探討Epistemic logic.Presentation of Kripke structures and various modal logics,and a discussion of modal logic axioms.
無窮集合的勢(shì)、單射和滿射:Cantor對(duì)角論證、連續(xù)統(tǒng)與自然數(shù)集的勢(shì)、集合與其冪集的勢(shì)Counting infinite sets and cardinality;injection and surjection.Cantor’s diagonal argument,showing that the cardinality of the reals is greater than the cardinality of the natural numbers,and that the cardinality of the set of subsets of a set A is greater than the cardinality of A.
Schroder-Bernstein定理The Schroder-Bernstein Theorem and further discussion of all the topics presented in the course.
項(xiàng)目回顧與成果展示Program Review and Presentation
論文輔導(dǎo)Project Deliverables Tutoring
適合人群
高中生|大學(xué)生
計(jì)算機(jī)科學(xué)、計(jì)算機(jī)與電子工程、數(shù)學(xué)專業(yè)，或?qū)τ?jì)算機(jī)科學(xué)背后的數(shù)學(xué)邏輯和理論感興趣的學(xué)生；需通過測(cè)試題測(cè)試。
課程模式
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)目期間配雙語(yǔ)助教全程輔助教學(xué)過程，不讓任何一位學(xué)生落下進(jìn)度
班主任跟蹤監(jiān)督模式
不讓懶惰拖延成為你成功路上的絆腳石
師生比例1比4
小班教學(xué)，人人都能與大佬溝通熟悉，打通人脈
