이론 컴퓨터 과학

계산의 근본적인 원리와 한계를 수학적으로 탐구하는 컴퓨터 과학의 한 분야입니다.