课程介绍

  自动机是计算机科学中最基本的结构之一，其在编程语言语义、系统建模和验证中均有重要应用。余归推纳是一种证明环形结构的方法，项目的重点在于介绍余归推纳在推理形式语言及自动机中的应用。学生将在项目中自选加权或概率随机等自动机的变种进行研究，在项目结束时提交项目报告，进行成果展示。

项目大纲

  自动机与正则语言Automata and Regular Languages
  余归推纳:语言对等的基本技巧Coinduction:basic techniques for language equivalence
  正则表达式和增强余归推纳Regular expressions and enhanced coinduction
  自动机理论在程序验证中的应用Applications to program verification
  项目回顾与成果展示Program review and presentation
  论文辅导Project deliverable tutoring

适合人群

  高中生|大学生
  就读于计算机科学、计算机工程、离散数学等专业或对以上专业领域感兴趣的学生。学生需要具备微积分及线性代数基础，修读过算法与数据结构，有Haskell等纯函数式编程语言基础的申请者优先。

项目模式

  10课时的主导师Lecture
  名校教研体系深度浸泡
  6课时1对1 Office Hour
  扫除你上课时积累的所有疑难知识点
  12课时的Mentor Session
  指导小组完成实战项目
  2课时的成果汇报Presentation
  将你所学知识呈献给导师及所有学员，获得导师点拨和反馈
  24小时内答疑回复
  24小时内答疑，*时间解决遗留问题
  全程助教辅助模式
  项目期间配双语助教全程辅助教学过程，不让任何一位学生落下进度
  班主任跟踪监督模式
  不让懒惰拖延成为你成功路上的绊脚石
  师生比例1比4
  小班教学，人人都能与大佬沟通熟悉，打通人脉

课程目标

  扎实可见的学术成长
  往期学员通过项目夯实学术基础，研究能力和学术写作能力获得成长，完成人生中*篇论文，优秀学员最终发表在了国内或国际核心期刊当中。
  硬核科研成果
  收获真正能展示你独特性、批判性思考力的科研经历，优秀学员有机会获得一封基于实际表现的真实有效的推荐信，以及导师的项目评分表。
  更强的升学竞争力
  在申请文书中展现项目经历，在面试过程中通过描述学术项目，向招生官展现自信、专业度、批判性思维能力，让申请文书言之有物、脱颖而出。
  加入集思星人组织
  结识全球的优秀同龄人和科研队友，参加海外导师来华参与线下互动，获得海量免费学习资料。