검색어 입력폼

[프로그래밍 언어론] 논리형 프로그래밍이란?

등록일 2004.06.12 한글파일한컴오피스 (hwp) | 11페이지 | 가격 500원

목차

없음

본문내용

논리형 프로그래밍 언어란?
수학적 논리와 논리가 사용되는 프로그래밍 언어를 논리형 언어라 한다. 논리 문장은 주로 프로그램이 언어 구문구조의 의미를 기술하는데 사용되고, 또한 형식 명제어나 수학적 방법으로 프로그램의 정확성을 증명하는데 사용된다. 논리의 원리는 이 밖에 수학적 정리를 증명하는 프로그램 작성에 사용되어 왔다. 따라서 논리 문장은 제한된 형태에 이어서 프로그래밍 언어라 할 수 있다.

참고 자료

없음
다운로드 맨위로