读心术难题：用模数运算解释读心术难题Presentation of the mind-reading puzzle.Discussion of modular arithmetic and showing how it explains the mind-reading puzzle.
常识：泥巴孩子难题、常识探讨、运用常识解读二将军问题Common knowledge.Presentation of the muddy children puzzle;initial discussion of common knowledge;applying common knowledge to the coordinated attack problem.
认知逻辑：Kripke结构与多模态逻辑、逻辑公理探讨Epistemic logic.Presentation of Kripke structures and various modal logics,and a discussion of modal logic axioms.
无穷集合的势、单射和满射:Cantor对角论证、连续统与自然数集的势、集合与其幂集的势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.
项目回顾与成果展示Program Review and Presentation
论文辅导Project Deliverables Tutoring
适合人群
高中生|大学生
计算机科学、计算机与电子工程、数学专业，或对计算机科学背后的数学逻辑和理论感兴趣的学生；需通过测试题测试。
课程模式
10课时的主导师Lecture
名校教研体系深度浸泡
6课时1对1 Office Hour
扫除你上课时积累的所有疑难知识点
12课时的Mentor Session
指导小组完成实战项目
2课时的成果汇报Presentation
将你所学知识呈献给导师及所有学员，获得导师点拨和反馈
24小时内答疑回复
24小时内答疑，时间解决遗留问题
全程助教辅助模式
项目期间配双语助教全程辅助教学过程，不让任何一位学生落下进度
班主任跟踪监督模式
不让懒惰拖延成为你成功路上的绊脚石
师生比例1比4
小班教学，人人都能与大佬沟通熟悉，打通人脉
