摘要: (本文内容为2022年春笔者在北航上的前沿技术讲座课程的大作业,包含了课程内容总结和未来规划) 从上世纪20年代哥德尔用对角线方法解决逻辑系统中的判定性问题和图灵提出他的图灵机理论开始到现在,计算机科学的发展已经走过了近百年的历史,但是时间并未使计算机科学变得暮气沉沉,相反,随着一项又一项重大技术的 阅读全文
posted @ 2022-05-19 21:33 Max_Season 阅读(152) 评论(0) 推荐(0) 编辑