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