读《计算机科学概论》

读《计算机科学概论》


我在学习程序语言原理和算法的时候，发现计算机专业开始涉及到一些专业的数学知识。有人说计算机是数学专业分支下的一个学科，也有人说计算机是独立于数学的一门学科。为了理清楚计算机和数学的界限以及依赖关系，我开始想系统的了解这两门学科的系统分支和交叉依赖的地方。


首先我开始了解数学都有哪些分支，以及分支的上下级关系。由于在学校里学到过离散数学这门从名字上看很另类的课程，我想探究一下离散数学是属于数学专业里的哪个分支，结果发现数学专业里没有这一门课程。离散数学是近几十年来，随着计算机的发展而形成的一门学科，它包括了数学一些分支里的部分知识（包括布尔代数、集合、图论、概率论、统计学等）。


另外我发现数学里的各个分支的知识在历史上出现的时间点也是仅从科学分支上看不出来的。例如集合论、极限、微积分在历史上出现的顺序是微积分、集合论、极限，而集合论和极限是微积分的基础，但是基础性的数学分支学科并没有比它的下游的分支出现的早。所以我又去了解了一下数学史，对所有的数学分支在历史上是怎么发展演变的有了一个大体的了解。


最终我总结了几点：基础数学相对来说是出现的比较晚的，并且分成了逻辑、直觉、形式三大分支。其中的逻辑是和哲学的学科有交叉的，数学里的逻辑分支就是数理逻辑。


在一般的数学专业本科里，数理逻辑不算是很主要的一门课程，因为有更多其它的重要的课程。也不是所有的数学专业都会开设，甚至开设的学校比较少。


计算机专业里也很少开设数理逻辑这门课的，因为比较理论，可能在研究生课程里会开设。


数理逻辑用集合和布尔代数研究可计算性和计算复杂度，这