Lambda Calculus에 관한건데요.

1. 임의의 람다 항 M과 Y combinator Y에 대해
M(Y(M)) 와 Y(M)이 서로 beta-reduction이 가능함을 보이시오

2. Y(not) 이 not의 fixed point임을 보이시오

3. 2개의 Church Integer a, b를 인자로 받아 a=b 이면 true를, 그렇지 않으면 false를 결과값으로 갖는 함수 eq를 작성하시오

4. 2개의 Church Integer a, b를 인자로 받아 a>b 이면 true를, 그렇지 않으면 false를 결과값으로 갖는 함수 gt를 작성하시오

선택과제: 2개의 Church Integer을 a,b를 인자로 받아 a/b와 a mod b(a를 b로 나눈 나머지)의 pair을 결과값으로 갖는 함수 div를 구현하시오.




sort에 관한것..

연습문제 1 : 위에서 주어진 알고리즘을 코드로 써보아라. C/C++/JAVA 무엇이든 상관없습니다. 돌아가는 것 보다 생각을 코드로 표현하는 것이 중요합니다 – Hint) 주어진 key의 개수는 n개. n번의 단계가 수행됨. 각 단계의 역할을 잘 파악한다.


연습문제 2 : 난수(Random number)[1]를 입력 받아서 선택 정렬로 정렬하는 프로그램을 작성하라. 입출력 형식은 자유이며, 입력 시에 key의 개수만 정해주고, 출력 시에는 n개의 난수를 먼저 출력하고, 각 단계를 표시하며 각 단계마다의 배열을 모두 찍어준다


[1] 정렬되어 있지 않은 숫자



혹.. 혹시 아시나요?

이번.. 카이스트 영재센터 정보반 1학기 과제인데요.. 어렵네요-_ㅠ