이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
zzang123014
가입: 2023년 3월 8일 올린 글: 2
|
올려짐: 2023년6월20일 13:59 주제: 챌린지 4 질문드립니다. |
|
|
3가지 증명에 대해 M1언어의 아래 5가지 경우에 대해서만 증명을 하면 되는건지 궁금합니다.
E → n
| x
| λx.E
| E E
| E + E |
|
위로 |
|
|
김도형
가입: 2022년 3월 8일 올린 글: 103
|
올려짐: 2023년6월20일 22:53 주제: |
|
|
안녕하세요.
예, 맞습니다.
감사합니다. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|