石家庄集思学院背景提升

为全球大学生和优秀高中生创造海外高校的教学环境

学校课程咨询服务:
400-666-4820
培训世界 >石家庄平面设计培训 >人工智能计算模型数学逻辑研究

人工智能计算模型数学逻辑研究

人工智能计算模型数学逻辑研究

上课时段: 详见内容

已关注: 178

课程价格: 请咨询

优惠价格: 请咨询

授课学校: 石家庄集思学院背景提升

教学点: 1个

开班时间: 滚动开班

咨询电话:400-666-4820

预约试听

课程详情

课程介绍
  自动机是计算机科学中最基本的结构之一,其在编程语言语义、系统建模和验证中均有重要应用。余归推纳是一种证明环形结构的方法,项目的重点在于介绍余归推纳在推理形式语言及自动机中的应用。学生将在项目中自选加权或概率随机等自动机的变种进行研究,在项目结束时提交项目报告,进行成果展示。
项目大纲
  自动机与正则语言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
  小班教学,人人都能与大佬沟通熟悉,打通人脉
课程目标
  扎实可见的学术成长
  往期学员通过项目夯实学术基础,研究能力和学术写作能力获得成长,完成人生中篇论文,优秀学员最终发表在了国内或国际核心期刊当中。
  硬核科研成果
  收获真正能展示你独特性、批判性思考力的科研经历,优秀学员有机会获得一封基于实际表现的真实有效的推荐信,以及导师的项目评分表。
  更强的升学竞争力
  在申请文书中展现项目经历,在面试过程中通过描述学术项目,向招生官展现自信、专业度、批判性思维能力,让申请文书言之有物、脱颖而出。
  加入集思星人组织
  结识全球的优秀同龄人和科研队友,参加海外导师来华参与线下互动,获得海量免费学习资料。
1