이론 컴퓨터 과학: 두 판 사이의 차이

{{위키데이터 속성 추적}}

[[파일:Maquina.png|섬네일|오른쪽|250px|계산 모형의 일종인 [[튜링 기계]]의 시각화]]

 

역사적으로 보았을 때 컴퓨터 과학의 기원은 수리 논리학의 발전과 함께 대두한 [[계산 가능성]] 연구로, 이에 관한 [[결정 문제]]와 [[튜링 기계]] 등을 논하던 [[계산 이론]]으로부터 이후 실질적인 응용으로 발전하여 나온 것이다. 이론 전산학과 일반적인 응용 전산학을 구분하는 명확한 기준은 없으나, 이론 전산학은 대체로 수학적인 면에 치중하는 경향이 있다.