컴퓨터 과학 또는 전자계산기학(Computer Science)은 컴퓨터의 디자인에 대한 이론과 그 활용에 대한 학문을 아우르는 용어이다. 이론적인 측면으로 가면 정수론, 집합론 등 이산수학에 뿌리를 두고 계산가능성, 계산복잡도 등의 문제를 다루는 '계산(computation)'에 대해 연구하는 수학의 분과 학문이 있고, 활용적인 측면으로 가면 소프트웨어와 하드웨어의 구조를 다루는 공학적인 학문이 있다.[주 1] 계산과학(Computational science)과는 가깝긴 하지만 다른 학문이다.