컴퓨터 과학
이론 컴퓨터 과학 또는 이론 전산학()은 일반 컴퓨터 과학 및 수학의 한 분야로, 컴퓨터나 계산 과정의 추상적이고 근본적인 원리를 연구하는 학문이다.