''' 计算机科学 ''' （英语：computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在 [[ 计算机 ]] 系统中如何实现与应用的实用 [[ 技术 ]] 的学科。 它通常被形容为对那些创造、描述以及转换 [[ 信息 ]] 的算法处理的系统研究。计算机科学包含很多分支领域<ref>[https://www.sohu.com/a/247281443_816476 计算机科学 VS 计算机工程 ]，搜狐，2018-08-15</ref>；有些强调特定结果的计算，比如 [[ 计算机图形学 ]] ；而有些是探讨计算问题的性质，比如计算复杂性理论；还有一些领域专注于怎样实现计算，比如编程语言理论是研究描述计算的方法，而 [[ 程序设计 ]] 是应用特定的编程语言解决特定的计算问题，人机交互则是专注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。

有时公众会误以为计算机科学就是解决计算机问题的事业（比如 [[ 信息技术 ]] ），或者只是与使用计算机的经验有关，如玩游戏、上网或者 [[ 文字 ]] 处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、 [[ 浏览器 ]] 这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。

尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些 [[ 重点大学 ]] 的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。 [[ 丹麦 ]][[ 科学 家Peter 家]]Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着 [[ 数据 ]] 和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是 [[ 哥本哈根大 学Datalogy 学]]Datalogy 学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在 [[ 欧洲 ]] 大陆，起源于 [[ 信息 ]] （information）和 [[ 数学 ]] 或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。

著名计算机科学家艾兹赫尔·戴克斯特拉曾经指出：“计算机科学并不只是关于计算机，就像 [[ 天文学 ]] 并不只是关于 [[ 望远镜 ]] 一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是 [[ 计算机工程 ]] 的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如数学、 [[ 工程学 ]] 、认知科学和 [[ 经济学 ]] 等<ref>[https://blog.csdn.net/weixin_45458577/article/details/103190827 计算机导论课程总结2]，CSDN技术社区，2019-11-24</ref>。

计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如库尔特·哥德尔、艾伦·图灵、路莎·彼得，阿隆佐·邱奇等 [[ 数学家 ]] 的研究，这两个领域在某些学科，例如数理 [[ 逻辑 ]] 、范畴论、域理论和代数，也不断有有益的思想交流。