게시판 인덱스

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

검색 결과 2 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 챌린지 4 질문드립니다.
zzang123014

답변: 1
조회: 1245
 올리기게시판: 4190.310 Programming Languages (Spring 2023)   올려짐: 2023년6월20일 13:59   주제: 챌린지 4 질문드립니다.
3가지 증명에 대해 M1언어의 아래 5가지 경우에 대해서만 증명을 하면 되는건지 궁금합니다.

E → n
| x
| λx.E
| E E
| E + E
  주제: 챌린지 8 질문드립니다.
zzang123014

답변: 1
조회: 1145
 올리기게시판: 4190.310 Programming Languages (Spring 2023)   올려짐: 2023년6월20일 13:34   주제: 챌린지 8 질문드립니다.
?가 3개 있는데, 물음표 하나당 한 줄씩
총 세 줄의 pseudo code를 작성하면 되는건가요?
아니면 의미만 맞으면 2줄이나 4줄로 구현을 해도 되는지 궁금합 ...
 
페이지 1 중 1
시간대: GMT + 9 시간(한국)
건너뛰기:  


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