프로그래밍 언어들의 유형 및 특성을 비교-분석하고, 언어의 syntax를 기술하는 방법, 구조체, 자료형 등의 프로그래밍 언어의 설계 및 문법기술 방법에 대해 학습한다. functional programming, logic programming, object-oriented programming의 특성을 비교-분석하고 응용분야에 따라 적합한 언어를 선택하는 능력과 새로운 컴퓨터 언어를 설계할 수 있는 능력을 갖게 하는 것을 목표로 한다. 새로운 언어의 특징을 습득하면서 Lisp과 Prolog를 포함하여 새로운 언어의 특징과 관련된 간단한 주제들에 대한 프로그래밍 연습을 하고 동일한 주제에 대해 언어에 따라 프로그래밍 방법이 어떻게 다른지 비교-분석을 한다.