레포트샵

fileicon[운영체제] 논리형 프로그래밍

이전

  • 1운영체제  논리형 프로그래밍1
  • 2운영체제  논리형 프로그래밍2
  • 3운영체제  논리형 프로그래밍3
  • 4운영체제  논리형 프로그래밍4
  • 5운영체제  논리형 프로그래밍5
  • 6운영체제  논리형 프로그래밍6
  • 7운영체제  논리형 프로그래밍7
  • 8운영체제  논리형 프로그래밍8
  • 9운영체제  논리형 프로그래밍9
  • 10운영체제  논리형 프로그래밍10
  • 11운영체제  논리형 프로그래밍11
  • 12운영체제  논리형 프로그래밍12

다음

  • 최대 100페이지까지 확대보기 서비스를 제공합니다.

> 레포트 > 공학계열 > 자료상세보기 (자료번호:193119)

구매가격
2,000원 할인쿠폰1,800원
등록/수정
2008.03.06 / 2008.03.07
파일형식
fileiconhwp(아래아한글2002) [무료뷰어다운]
페이지수
12페이지
자료평가
평가한 분이 없습니다.
등록자
dbsh8577
  • 다운로드
  • 장바구니 담기

닫기

이전큰이미지 다음큰이미지
  • 트위터
  • 페이스북
신규가입 200원 적립! + 10% 할인쿠폰 3장지급! banner구매자료를 평가하면 현금처럼 3%지급!

소개글

[운영체제] 논리형 프로그래밍에 대한 자료입니다.

목차

- 목 차


1. WHAT과 HOW
2. 비절차적 언어의 예
1) 데이터베이스 언어
2) SETL
3) Snobol4
3. Prolog
1) 사실, 규칙, 질문
2) 단일화와 퇴각 검색
3) 일반적인 자료 구조
4. Prolog와 Snobol4의 단일화 개념
- 참고문헌 -

본문내용

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

□ WHAT과 HOW
소프트웨어 개발 과정이란 시스템 기술을 점차적으로 상세화시켜 가는 일련의 작업들을 의미한다. 우선 소프트웨어 요구 명세의 선언으로 시작하는데, 이것은 사용자가 요구하는 바의 것, 즉 시스템이 무엇인가(what)를 강조한다. 다음에는 이 시스템 기술을 점차적으로 상세화시켜서 최종적으로 절차적이고 실행 가능한 표현까지 기술하게 되는데, 이것은 문제가 실제로 기계에서 어떻게(how) 해결되는지를 표현한 알고리즘이어야 한다.
지금까지 실제적으로 프로그래밍 언어들의 수준이 점점 높아져 가고 있다는 것에 대해 논하여 왔다. 예를 들면, Ada와 같은 언어는 소프트웨어의 모듈화와 모듈 인터페이스를 명확하고 확실한 방법으로 기술할 수 있는 설계 명세 언어(design specification language)로 간주되어 설계 단계에서도 사용할 수 있다. 그러나, 모듈들로 분해하는 일과 모듈의 내부 사항을 구형하는 일이 자동적으로 이루어지지 않는다. 즉, 프로그래머에게 무한한 창조성을 요구하게 되어 많은 시간이 소요되고 비경제적이며, 오류를 발생시키는데, 그 원인은 종래의 컴퓨터들에서 선언적 기술(declarative description)을 할 수 없기 때문이다. 따라서, 사용자의 요구 사항들이 절차적 기술(procedural description)로 상세하게 번역되어야 한다.
논리형 프로그래밍은 실행 가능한 기술(executable description)의 영역을 훨씬 높이 추구하여 사용자 요구를 저수준의 절차적 구현으로 변형할 필요 없이 직접 명세를 가능하도록 하는 것이 최종 목적이다. 이처럼 논리형 프로그래밍은 먼저 목표를 세우고 나서 증명을 시스템에 요구하면 알려진 지식의 몸체로부터 수행이 시작된다. 이로써 잠정적인 결론을 내릴수가 있다.

참고문헌

참고 문헌
원유헌, <프로그래밍 언어론>, 정익사, 2005

태그 논리형, 논리형 프로그래밍, 운영체제, 절차식, 비절차식

도움말

이 문서는 한글워디안, 한글2002 이상의 버전에서만 확인하실 수 있습니다.

구매에 참고하시기 바랍니다.

자료평가

아직 평가한 내용이 없습니다.

오늘 본 자료

  • 오늘 본 자료가 없습니다.
  • img

    저작권 관련 사항 정보 및 게시물 내용의 진실성에 대하여 레포트샵은 보증하지 아니하 며, 해당 정보 및 게시물의 저작권과 기타 법적 책임은 자료 등록자에게 있습니다. 위 정보 및 게시물 내용의 불법적 이용, 무단 전재·배포는 금지됩니다. 저작권침해, 명예훼손 등 분쟁요소 발견시 고객 센터에 신고해 주시기 바랍니다.