BG Plus背景提升科研项目 | 康奈尔大学 | 网络安全、密码学背后的数论理论

现代著名算术家Andrew Hodges明确指出“计算机系统是算术家一次失败理解的副产品”。诚然，认知科学脱胎于算术。一百年同一时间，以黎曼为都有的算术家们力图构建一个高效率定理显然的系统，让逻辑系统系统内的所有命题都能用一套既定的的系统以求显然或论断。“计算机系统”；也实现这一宏伟同一时间提的表现形式。失望的是，自此以后，我们仍未能实现这个同一时间提。随着时间的推移，认知科学日益脱离了算术成为一门独立学科，但是算术对认知科学的影响依然极大。同伦类型论、对象论、Lambda形式化等直观的算数在正因如此的认知科学中自始发挥着关键聘请作用。

BG PLUS

现今推荐

[GSW] 认知科学专题：微软公司、密码学背后的算术理论

该概念设计非常适合认知科学、算术专业课程，或对认知科学背后的算术范式和理论有兴趣的高中及大学生，学生们将通过范式趣题分析，重构认知科学的雄伟大厦。

推荐顾虑

01大学客座教授聘请

Joseph Halpern讨教现任旧金山东欧国家工程院院士、康奈尔大学认知科学主讲终生自始客座教授，任职康奈尔大学认知科学副院长，持有旧金山智能总会（AAAI；世界性智能顶会）、旧金山计算机系统总会（ACM；亚太地区历史背景十分古老的计算机系统学会）和重工和电子工程师总会（IEEE；世界为数仅次于的非营利性专业课程电子技术学会）投票权，拥有哈佛大学硕士。Joseph Halpern讨教的研究者演示出分布式计算、不确定性、决策理论和基本概念推理，出版3本理论重要著作，公开发表电子技术出版物360余篇。

02概念设计产出独特

●学术报告

●出类拔萃许多学生获主讨教Reference Letter

●EI/CPCI/Scopus/ProQuest/Crossref/EBSCO或同等高至索引世界性会议全文投递与公开发表（可用于申请）

●结业证书

●成绩单

概念设计内容

7周在线工作小组工程技术修习+5周篇文章聘请修习 共125讲课

●读心术难题：用量值运算解读读心术难题

●常识：泥巴父母难题、常识探讨、运用常识点出二将军问题

●认知范式：Kripke结构与多模态范式、范式逻辑系统探讨

●无穷等价的逆、这两点和满射:Cantor对角论证、有理与自然数集的逆、等价与其幂集的逆

●Schroder-Bernstein定理

●概念设计回顾与成果演示

●篇文章社会工作

BG PLUS

长处透过

01

泛化

02

该概念设计每年仅有一期，有兴趣的同学千万不想而过哦~

想了解更多概念设计状况，喜爱咨询BG学术负责人