JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
컴퓨터과학이 여는 세계 5/19 퀴즈
제출이 마감되었습니다
Sign in to Google
to save your progress.
Learn more
* Indicates required question
성명
*
Your answer
학번
*
Your answer
1, 2. 컴퓨터 언어 사이의 자동번역은 "부품에서 전체로"와 "불변성질 유지하기"라는 두 개의 단순한 원리를 사용한다. 각각에 대해 간단하게 한 문장으로 설명하시오. (서술형)
1. "부품에서 전체로"란?
Your answer
2. "불변성질 유지하기"란?
Your answer
3. 프로그래밍 언어를 해석실행하는 실행기는 물리적인 기계로도, 소프트웨어로도 만들 수 있다. (O/X)
O
X
Clear selection
4. 컴퓨터는 기계어를 해석실행해주는 실행기로도 볼 수 있다. (O/X)
O
X
Clear selection
5. 다음은 번역 과정의 한 예시이다. 빈칸 [ ]에 들어갈 식으로 알맞은 것을 고르시오.
(1)
(2)
(3)
(4)
Clear selection
6. 람다 계산법은 기계를 염두에 두고 있지 않기 때문에 튜링기계보다 표현력이 떨어진다. (O/X)
O
X
Clear selection
7, 8. 다음은 교재의 일부이다. 빈칸에 들어갈 프로그래밍 언어의 기원을 각각 쓰시오.
7. 빈칸에 들어갈 프로그래밍 언어의 기원은?
Your answer
8. 빈칸에 들어갈 프로그래밍 언어의 기원은?
Your answer
9. 다음 람다식이 한 단계 계산되었을 때 결과를 고르시오.
(1) λx.(λy.xy)
(2) λy.((λz.z)y)
(3) (λz.z)(λx.(λy.xy))
(4) (λy.yy)(λz.z)
Clear selection
10. 최신 프로그래밍 언어들은 계산형 프로그래밍은 버리고 명령형 프로그래밍만 지원한다. (O/X)
O
X
Clear selection
11. 언어로 짠 프로그램과 논리로 짠 증명은 일대일 대응된다. (O/X)
O
X
Clear selection
12, 13. 다음은 증명하기와 프로그램 짜기가 대응되는 것을 나타낸 것이다. (가)와 (나)에 각각 들어갈 것은?
Your answer
14, 15. 다음은 증명하기와 프로그램 짜기가 대응되는 것을 나타낸 일부이다. (가)와 (나)에 각각 들어갈 프로그램의 조립 방식을 고르시오.
프로그램에서 여러 데이터로 데이터 뭉치를 만드는 것에 해당한다. 특히 두 데이터로 데이터 짝을 만드는 것에 해당한다.
프로그램에서 데이터 뭉치를 사용하는 것에 해당한다. 특히 데이터 뭉치 안에 있는 데이터 하나를 꺼내오는 것에 해당한다.
프로그램에서 데이터를 뭉뚱그리는 것에 해당한다.
프로그램에서 함수를 사용하는 것에 해당한다. 함수를 데이터에 적용해서 데이터를 얻는 것에 해당한다.
(가)
(나)
프로그램에서 여러 데이터로 데이터 뭉치를 만드는 것에 해당한다. 특히 두 데이터로 데이터 짝을 만드는 것에 해당한다.
프로그램에서 데이터 뭉치를 사용하는 것에 해당한다. 특히 데이터 뭉치 안에 있는 데이터 하나를 꺼내오는 것에 해당한다.
프로그램에서 데이터를 뭉뚱그리는 것에 해당한다.
프로그램에서 함수를 사용하는 것에 해당한다. 함수를 데이터에 적용해서 데이터를 얻는 것에 해당한다.
(가)
(나)
Clear selection
Submit
Clear form
Never submit passwords through Google Forms.
This form was created inside of Software Foundations Lab.
Report Abuse
Forms
