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学术顾问