z09314211的博客

转载 计算机科学与技术本科知识体系

整个计算机科学就像人一样，有两条腿。一条叫做数学（基础），一条叫做物理（基础）。数学主要指的是离散数学，其中比较重要的是逻辑和证明、Turing论题和Churcher论题。逻辑系统用逻辑的方法描述这个世界，在寥寥数条公理和推理规则之上构筑了整个逻辑系统、数论系统乃至计算机科学（原文是形式逻辑，但是个人感觉离散数学比起形式逻辑可能和计算机科学结合的更加紧密一些，而形式逻辑并不属于数学范畴）。Turi