张森ZS

摘要： 1. 引子 微软 office 有大约 4000 万行代码 2. 软件工程 这个词由工程师 Margaret Hamilton 创造 她帮助 NASA 在阿波罗计划中避免了严重问题 她说过：有点像牙根管治疗：你总是拖到最后才做，但有些事可以预先做好 3. 对象 Objects 出现原因：解决大型项目 阅读全文

摘要： 1. 计算机科学之父 1912 年出生于伦敦，从小表现出惊人的数学和科学能力 1935 年，开始对计算机科学有建树 当时是剑桥国王学院的硕士生 开始解决德国数学家大卫·希尔伯特提出的问题：「可判定性问题」 问题的定义：是否存在一种算法，输入正式逻辑语句，输出准确的「是」或「否」的答案？ 解决方法 1 阅读全文