프로그래밍언어이해

교과목 구분: 
전공선택
교과목 번호: 
4190.688
학년: 
대학원
학점: 
3

논리기반 프로그래밍 언어의 기본 이론과 방법론을 공부한다. 특히 clausal form 의 프로그래밍 방식과 그 proof procedure를 다루며, PROLOG 언어를 사용한 프로젝트 수행을 통해 실제적인 문제 해결 능력을 배양한다.