计算机科学
计算机科学（，有时缩写为）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。
科学
科学原仅指对自然现象之规律的探索与总结，但人文学科也越来越多地被冠以“科学”之名。现代科学一般说来可划分为三大分支：形式科学（如逻辑、数学、理论计算机科学），研究抽象概念；自然科学（如生物学、化学、物理学、地理学），在最宽泛的意义上研究自然；以及社会科学（如经济学、心理学、社会学），研究个体与社会。不过，对于形式科学能否确实算作一类科学存在不同意见，因为其并不依赖经验证据。而运用既有科学知识以达成实用目的的学科，如工程学和医学，则被归为应用科学。