알고리즘 (Algorithm)은 컴퓨터를 이용하여 주어진 과제를 해결하기 위한 처리 절차. = 문제 해결을 위한 처리 절차
정당성: 입력값이 지정된 조건과 일치한다면 알고리즘은 반드시 정상적인 동작 (올바른 출력값의 반환)을 보장해야 한다. 정지성: 어떠한 조건의 입력값이 주어지더라도 정해진 시간 내에 반드시 정상적인 종료를 보장하는 것.