계산 이론(計算理論, Theory of computation)은 컴퓨터 과학의 한 갈래로, 어떤 문제를 컴퓨터로 풀 수 있는지, 또 얼마나 효율적으로 풀 수 있는지를 탐구한다. 이 분야는 크게 계산 가능성 이론과 계산 복잡도 이론으로 나뉘어 있는데, 두 분야 모두 추상 기계를 다룬다.
컴퓨터 과학의 주요 분야 | |
---|---|
수학적 기초 | |
계산 이론 | |
알고리즘 & 자료 구조 | |
프로그래밍 언어 & 컴파일러 | |
병렬 & 분산 시스템 | |
소프트웨어 공학 | |
시스템 아키텍처 | |
통신 & 네트워크 | |
데이터베이스 | |
인공지능 | |
컴퓨터 그래픽 | |
인간과 컴퓨터 상호 작용 | |
계산과학 | |
정보보호 |
![]() |
이 글은 컴퓨터 과학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |