精选优质文档-倾情为你奉上前两天阐述了一下本校计算机科学与技术专业本科生需要掌握的知识体系。自觉比较有道理，整理一下发上来。适合的阅读对象：刚进入计算机系，对整个计算机科学技术的知识体系尚未了解的同学。本校学生获益尤大。整个计算机科学就像人一样，有两条腿。一条叫做数学（基础），一条叫做物理（基础）。数学主要指的是数理逻辑。其中比较重要的是形式逻辑系统、Turing论题和Churcher论题。形式逻辑系统用逻辑的方法描述这个世界，在寥寥数条公理和推理规则之上构筑了整个逻辑系统、数论系统乃至计算机科学。Turing论题是计算机科学的基础，它点出了形式逻辑系统的威力：只要是人能计算的，机器都能用形式逻辑的规则进行计算。并且它提出了一种实现的方法，就是Turing机。Churcher论题指出了形式逻辑系统的不足：人能证明的，机器不一定能证明。更准确的说是，在形式逻辑系统中，不存在一种通用的算法，能判断所有命题的真假。这就是计算机科学的数学基础。而计算机技术的物理基础就是数字逻辑电路。这里不说模拟电路啊电磁学啊，因为感觉和“逻辑”联系不是很大。首先数字电路中给出了逻辑的电
