[컴퓨터]프로그래밍언어 16장문제정답

소개

안녕하세요
프로그래밍언어를 수강하시는 분들은 매 chapter가 끝날때마다
압박을 주는 많은 연습&복습문제 때문에 다덜 고생이 많으실겁니다 ^^
또한 시험기간에 일일이 정리하는데도 시간이 엄청 많이 걸리죠?
그러한 불편한점을 저도 겪었기에 이렇게 정리해서 자료로 올립니다
가격도 다른데보다 일부러 더 저렴하게 올립니다
모두들 많은 참고 바라구요 좋은학점 받으시길 발래요 ^^

목차

1. 형식 논리에서 기호 논리의 세 가지 주된 사용은 무엇인가?
2. 복합 항의 두 부분은 무엇인가?
3. 클로즈 형식에서 명제의 일반적인 형식은 무엇인가?
4. 해 도출과 단일화의 일반적인(엄격하지 않은)정의를 나타내시오.
5. 혼 클로즈 형식은 무엇인가?
6. 선언적 의미론의 기본 개념은 무엇인가?
7. Prolog 항의 세가지 형식은 무엇인가?
8. Prolog에서 사실 문과 규칙 문의 구문 형식과 사용법은 무엇인가?
P 705~706
9. 데이터베이스에 있는 사실에 목적을 부합하는 두 가지 접근 방법은
설명하시오.
10. 다중 목적이 만족되는 방법을 논의 할때, 깊이 우선과 넓이
우선 탐색의 차이점을 설명하시오.
11. Prolog에서 역행이 어떻게 수행되는지를 설명하시오.
12. Prolog 문장“K is K + 1"에 잘못된 것이 무엇인지 설명하시오.
14. Plolog에서 생성 - 검사 프로그래밍 전략을 설명하시오.
15. plolog에 의해 사용되는 닫힌 세계 가정을 설명하시오.
왜 이것이 한계인가?
16. plolog의 부정 문제를 설명하시오. 왜 이것이 한계인가?
18. 절차적 언어와 비절차적 언어의 차이점을 설명하시오.
19. plolog 시스템이 역행을 수행하는 이유를 설명하시오.
20. prolog에서 해 도출과 단일화 사이의 관계는 무엇인가?

본문내용

1. 형식 논리에서 기호 논리의 세 가지 주된 사용은 무엇인가?
명제 표현, 명제 사이의 관계 표현, 참이라고 추정되는 다른 명제로부터 새로운 명제가 추론되는 방법의 가술

2. 복합 항의 두 부분은 무엇인가?
-작용자 : 관계를 명명하는 함수 기호
-매개 변수의 순서화 리스트

3. 클로즈 형식에서 명제의 일반적인 형식은 무엇인가?
논리합(좌변)과 논리곱(우변)만을 이용해 상대적으로 명제의 간단한
형식을 만든다
우변은 전제이고 좌변은 결론이다.
의미)우변이 모두 참이면 좌변은 적어도 하나는 참이다.
ex) like(bob, trout) ∪ like(bob,abc) ⊂ likes(bob, fish)
∩ fish(trout) ∩ fish(abc)

bob이 fish를 좋아하고 trout가 fish이면 bob은 trout를 좋아하거나
abc를 좋아한다.

4. 해 도출과 단일화의 일반적인(엄격하지 않은)정의를 나타내시오.
해 도출 : 추론된 명제가 주어진 명제로부터 계산되는
것을 허용하는 추론 규칙

단일화 : 변수의 유용한 값을 결정하는 과정.

5. 혼 클로즈 형식은 무엇인가?
혼 클로즈의 좌변은 단일 기본 명제이거나 생략된다.
- 유두 혼 클로즈 : 좌변을 갖는 혼 클로즈
- 무두 혼 클로즈 : 좌변이 없는 혼 클로즈

6. 선언적 의미론의 기본 개념은 무엇인가?
각 문장의 의미를 결정하는 간단한 방법이 있고, 의미는 문제를 풀기 위해 문장이 사용되는 방법에 종속되지 않는다는 것.

참고자료

· 없음