전산학(電算學, 영어: computer science)은 계산(computation), 정보(information), 자동화(automation)와 이를 수행하는 컴퓨터 및 계산 시스템을 연구하는 학문이다. 동의어로 컴퓨터 과학(computer science)이 널리 사용되며, 한국의 대학에서는 학과 명칭으로 '컴퓨터공학'이 같은 범위를 포괄적으로 가리키기도 한다.
정의와 범위
전산학은 계산이 무엇인지, 어떤 문제가 계산 가능한지, 계산을 얼마나 효율적으로 수행할 수 있는지, 그리고 그러한 계산을 실제 시스템으로 어떻게 구현할 수 있는지를 다룬다. 연구 대상으로는 알고리즘, 자료 구조, 계산 이론, 프로그래밍 언어, 컴퓨터 시스템, 데이터베이스, 인공지능, 컴퓨터 보안, 소프트웨어 공학 등 이론적·실용적 분야를 포함한다. 전산학은 단순히 컴퓨터 사용법이나 프로그래밍 기술에 국한되지 않으며, 계산과 정보 처리의 원리를 연구하는 학문으로 이해된다.
명칭의 유래
'전산학'이라는 한자어는 '전자 계산'을 의미하는 '전산(電算)'에 '학문'을 뜻하는 '학(學)'이 결합된 말이다. 이는 컴퓨터가 등장하던 초기에 '전자 계산'이라는 개념에서 유래한 표현으로, 컴퓨터 과학을 가리키는 한국어 고유의 번역어로 자리 잡았다. 영어 'computer science'가 문자 그대로 '컴퓨터 과학'을 뜻하는 반면, 전산학은 전자적 계산이라는 측면에 초점을 둔 명칭이다.
하위 분야
전산학의 연구 범위는 크게 다음과 같이 분류될 수 있다.
- 이론 전산학: 계산 가능성 이론, 오토마타 이론, 형식 언어, 계산 복잡도 이론, 알고리즘 분석 등을 포함한다. 어떤 문제가 원리적으로 알고리즘으로 해결 가능한지, 효율적인 계산이 가능한지를 수학적으로 연구한다.
- 시스템 분야: 컴퓨터 구조, 운영체제, 컴파일러, 컴퓨터 네트워크, 분산 컴퓨팅, 데이터베이스, 컴퓨터 보안 등이 포함된다. 계산을 실제 장치와 소프트웨어 시스템 위에서 신뢰성 있고 효율적으로 실행하는 방법을 연구한다.
- 응용 분야: 인공지능, 기계 학습, 컴퓨터 그래픽스, 인간-컴퓨터 상호 작용, 정보 검색, 데이터 마이닝, 생물정보학, 계산과학 등이 포함된다. 알고리즘과 계산 시스템을 사용하여 구체적인 문제를 해결하는 방법을 연구한다.
역사
전산학의 역사는 현대적 디지털 컴퓨터의 등장보다 앞선다. 1936년 앨런 튜링이 튜링 기계라는 추상적 계산 모델을 제시하였고, 같은 시기 알론조 처치의 람다 계산도 계산 가능한 함수의 개념을 형식화하였다. 이는 처치-튜링 명제로 이어지며 계산 이론의 기초를 형성하였다.
제2차 세계 대전 전후로 전자식 범용 디지털 컴퓨터(ENIAC 등)가 등장하였고, 저장 프로그램 방식(폰 노이만 구조)이 정립되었다. 1950~1960년대에 대학에서 컴퓨터 과학 과정이 독립적으로 설치되기 시작하였고, 1962년 미국 퍼듀 대학교에 최초의 컴퓨터 과학과가 설립되었다. 이후 프로그래밍 언어, 운영체제, 데이터베이스, 컴퓨터 네트워크, 인공지능 등 여러 하위 분야가 급속히 발전하면서 하나의 독립된 학문 분야로 확립되었다.
연구 방법
전산학은 수학처럼 형식적 정의와 증명을 사용하고, 공학처럼 실제 시스템을 설계·구현하며, 일부 분야에서는 실험과 측정을 통해 시스템의 성능과 동작을 분석한다. 이론적 접근, 추상화와 모델링, 설계와 구현, 실험적 평가, 정형화와 검증 등 다양한 연구 방법이 함께 사용된다.
다른 분야와의 관계
전산학은 수학, 공학, 자연과학, 사회과학, 인지과학 등 여러 분야와 깊게 연결되어 있다. 수학과는 계산 이론과 알고리즘 분석에서 밀접하며, 공학과는 컴퓨터 시스템의 실제 구현에서 연결된다. 인공지능 분야는 인지과학 및 심리학과도 관련된다. 정보기술(IT)과 정보과학은 전산학과 밀접하지만, 전산학이 계산 원리와 시스템 설계에 중점을 둔다면 정보기술은 기술의 운영 및 관리에, 정보과학은 정보의 조직과 활용에 더 중점을 둔다는 차이가 있다.
