게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

숙제3 마지막 문제 질문

 
글 쓰기   답변 달기     게시판 인덱스 -> 046.016 Computational Civilization (Spring 2015)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김호현



가입: 2015년 3월 29일
올린 글: 2

올리기올려짐: 2015년6월7일 18:02    주제: 숙제3 마지막 문제 질문 인용과 함께 답변

엄밀한 논리의 세계에서 개발된 기술들이 프로그램짜기 기술로 이전되어 발전한 것이 두 가지가 있습니다. 설명해보세요.

이 문제에서 저는 부울논리와 람다계산법의 예를 들었습니다. 그런데 답이 아니었나 봅니다. 무엇이 잘못된 건가요?
위로
사용자 정보 보기 비밀 메시지 보내기
이동권



가입: 2012년 9월 9일
올린 글: 274

올리기올려짐: 2015년6월8일 17:53    주제: 인용과 함께 답변

책에 나와있는 논리세계에서 개발된 기술이 프로그램짜기에 쓰인 경우는 다음의 두가지입니다.

타입시스템을 이용해 프로그램의 구도를 짜는것과,

이미 짜여진 프로그램을 검진하는것.

이 두가지인데, 부울논리와 람다계산법은 프로그램짜기 기술이라고 보기는

조금 힘들기 때문에 부득이하게 감점하게 되었습니다.

-이동권 드림.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 046.016 Computational Civilization (Spring 2015) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay