计算机科学学科诞生于 20 世纪 40 年代初,当时算法理论、数理逻辑和存储程序电子计算机的发明融合在一起。例如,艾伦·图灵和库尔特·哥德尔在 20 世纪 30 年代关于算法及其作为机器或规则系统的实现的著作、阿达·洛夫莱斯 60 年前创建的算法、万尼瓦尔·布什在 20 世纪 20 年代制造的模拟计算机以及霍华德·艾肯和康拉德·楚泽在 20 世纪 30 年代制造的电子计算机。约翰·冯·诺依曼的著作表明,到 20 世纪 40 年代末,这门新兴学科已经具有相当的智力深度。到 20 世纪 60 年代初,已经有了足够的知识体系来建立第一批学术部门和学位课程。这门学科也被称为计算机科学与工程、计算和信息学。