計算 模型의 一種인
튜링 機械
의 視覺化
理論 컴퓨터 科學
또는
理論 電算學
(
英語
:
theoretical computer science
)은
컴퓨터 科學
및
數學
의 한 分野로, 컴퓨터나 計算 過程의 抽象的이고 根本的인 原理를 硏究하는 學問이다.
歷史的으로 보았을 때 컴퓨터 科學의 起源은 修理 論理學의 發展과 함께 擡頭한
計算 可能性
硏究로, 이에 關한
決定 問題
와
튜링 機械
等을 論하던
計算 理論
으로부터 以後 實質的인 應用으로 發展하여 나온 것이다. 理論 電算學科 一般的인 應用 電算學을 區分하는 明確한 基準은 없으나, 理論 電算學은 大體로 數學的인 面에 置重하는 傾向이 있다.
理論 電算學은
計算 可能性 理論
,
오토마타 理論
等
數理論理學
敵 分野를 基礎로 삼으며, 더욱 細部的인 硏究 分野로는
그래프 理論
,
組合론
,
整數論
,
暗號學
,
類型 理論
,
計算 複雜度 理論
,
最適化 理論
等에 關한 硏究가 있다.
같이 보기
[
編輯
]
