Ответы на экзаменационные вопросы интернет-курсов ИНТУИТ (INTUIT): 201. Введение в теорию программирования. Функциональный подход
1. В какой последовательности строится теория вычислений Д. Скотта?
2. В каком направлении восстанавливаются скобки для абстракции в ламбда-исчислении?
3. В каком направлении восстанавливаются скобки для аппликации в ламбда-исчислении?
4. В каком направлении восстанавливаются скобки для аппликации в комбинаторной логике?
5. В каком случае переменная x называется свободной в терме λx. A?
6. В чем заключается цель использования web-сервисов в ?
7. В чем заключаются технологические особенности ?
8. В чем состоит недостаток языков функционального программирования?
9. В чем состоит основное значение оптимизации кода?
10. В чем состоит основное назначение абстрактных машин?
11. В чем состоит основное назначение кода де Брейна?
12. В чем состоит основное назначение комбинаторной логики?
13. В чем состоит основное назначение ламбда-исчисления?
14. В чем состоит основное назначение рекурсии?
15. В чем состоит основное назначение семантики?
16. В чем состоит основное назначение синтаксиса?
17. В чем состоит основное назначение типизации?
18. В чем состоит особенность в контексте безопасности?
19. В чем состоит особенность вычислительной модели ?
20. В чем состоит особенность использования языков программирования для ?
21. В чем состоит особенность языка функционального программирования SML?
22. В чем состоит особенность языков логического программирования?
23. В чем состоит особенность языков объектно-ориентированного программирования?
24. В чем состоит особенность языков программирования для ?
25. В чем состоит особенность языков функционального программирования?
26. В чем состоит особенность языков функционального программирования?
27. В чем состоит практическое значение теоремы Черча-Россера?
28. В чем состоит преимущество комбинаторной логики перед классической?
29. В чем состоит преимущество функционального подхода к программированию перед другими подходами?
30. В чем состоит суть теоремы о неподвижной точке?
31. В чем состоят преимущества языка программирования SML?
32. Возможна ли неявная реализация комбинатора неподвижной точки на языке SML?
33. Для каких доменов допустимы рекурсивные равенства?
34. Для каких доменов рекурсивные определения разрешимы?
35. Для какого из перечисленных языков программирования использовалось ламбда-исчисление?
36. Для реализации какого из перечисленных языков программирования использовалась категориальная комбинаторная логика?
37. Для чего используется механизм сопоставления с образцом?
38. Для чего используются кортежи в языке SML?
39. Как осуществляется приписывание типа в теории типов?
40. Какая задача формализуема рекурсивно?
41. Какая из теорий не является формализацией семантики?
42. Какая из теорий не является формализацией семантики?
43. Какая из формализаций адекватна для программирования?
44. Какая из формализаций является наиболее зрелой?
45. Какая конструкция используется в языке SML для рекурсивного определения типов?
46. Какая операция категориальной комбинаторной логики эквивалентна цитированию?
47. Какая операция называется каррированием?
48. Какая операция не является основной операцией в ламбда-исчислении?
49. Какая теория логически предшествовала ламбда-исчислению?
50. Какая формализация абстрактных машин отвечает требованию реализма?
51. Какая формализация абстрактных машин является зрелой?
52. Какая формализация относится к денотационным семантикам?
53. Какая формализация относится к операционным семантикам?
54. Какие виды рекурсии существуют?
55. Какие действия выполняет инструкция push?
56. Какие действия выполняет инструкция swap?
57. Какие домены имеют неопределенные элементы?
58. Какие из перечисленных характеристик определяют сборку?
59. Какие из перечисленных языков программирования основаны на концепции параллельных вычислений?
60. Какие из перечисленных языков программирования основаны на объектно-ориентированном подходе?
61. Какие из перечисленных языков программирования основаны на структурном подходе?
62. Какие из перечисленных языков программирования основаны на сценарном подходе?
63. Какие из перечисленных языков программирования основаны на функциональном подходе?
64. Какие из перечисленных языков программирования основаны на функциональном подходе?
65. Какие из перечисленных языков программирования являются диалектами языка SML?
66. Какие ключевые слова используются для описания в языке SML?
67. Какие объекты могут определяться рекурсивно?
68. Какие объекты может содержать выражение языка SML?
69. Какие объекты преимущественно обрабатывает полиморфная функция?
70. Какие операции характерны для перехода от комбинаторной логики к категориальной комбинаторной логике?
71. Какие символы являются специальными в алфавите формальной системы комбинаторной логики?
72. Какие синтаксические домены описываю семантику SML?
73. Какие типы SML относятся к базисным?
74. Какие условия необходимы для формирования декартово замкнутых категорий?
75. Какие условия необходимы для формирования декартовых категорий?
76. Какие языки программирования формализованы абстрактными машинами?
77. Каким образом осуществляется построение комбинаторов?
78. Каким образом осуществляется построение ламбда-термов?
79. Каким образом осуществляется построение типов?
80. Каким целям служит редукция в ламбда-исчислении?
81. Какими инструкциями необходимо дополнить КАМ для поддержки рекурсии?
82. Каков графический механизм формализации ленивых вычислений?
83. Каков наиболее полный перечень синтаксических категорий языка SML?
84. Какова наиболее характерная область применения языков параллельного программирования?
85. Какова последовательность синтаксического разбора программы?
86. Какова схема трансляции в код КАМ?
87. Каково минимально необходимое количество параметров многоместных операций в КАМ?
88. Каково основное требование к абстрактной машине?
89. Каково соотношение понятий функции в математике и программировании?
90. Каковы виды семантик, ориентированные на интерпретацию?
91. Каковы возможные способы реализации "ленивых" вычислений?
92. Каковы наиболее значительные недостатки ?
93. Каковы необходимые требования для построения категориальной комбинаторной логики?
94. Каковы основные компоненты формальной теории комбинаторной логики?
95. Каковы основные компоненты формальной теории?
96. Каковы основные компоненты чистой системы типов?
97. Каковы основные операции формальной системы комбинаторной логики?
98. Каковы основные пути оптимизации КАМ-кода?
99. Каковы основные свойства отношения конвертируемости?
100. Каковы основные способы задания типа?
101. Каковы основные стратегии вычислений?
102. Каковы основные условия для декартово замкнутых категорий?
103. Каковы основные формализации ленивых вычислений?
104. Каковы требования к описанию формального языка?
105. Каковы требования к рекурсивному определению?
106. Каковы характеристики типизации языка SML?
107. Какое отношение задают аксиомы ламбда-исчисления?
108. Какое условие не относится к характеристическим равенствам КАМ?
109. Какой вариант вызова параметра моделирует машина Лендина?
110. Какой вариант вызова параметра моделирует машина Лендина?
111. Какой вид имеет правая часть БНФ для аппликации SML-выражений?
112. Какой вид имеет правая часть БНФ для комбинаторного терма?
113. Какой вид имеет правая часть БНФ для типов SML-выражений?
114. Какой из объектов адекватно формализует рекурсию?
115. Какой из объектов не имеет обозначения в формах Бэкуса-Наура?
116. Какой из перечисленных языков программирования является бестиповым?
117. Какой из списков содержит лишь многоместные операции КАМ?
118. Какой из типов можно определить рекурсивно?
119. Какой из языков функционального программирования назван по имени абстрактной машины?
120. Какой комбинатор используется для формализации рекурсии?
121. Какой тип имеет функция из int в bool?
122. Какой тип семантики формализуется с помощью доменов?
123. Какой функции соответствует аксиома Ix=x?
124. Какой функции соответствует аксиома Кxу=x?
125. На какие категории подразделяются типы SML?
126. На каком этапе определяются типы выражений в языке SML?
127. На каком этапе трансляции программы используются абстрактные машины?
128. На что ориентированы основные подходы к семантике?
129. Необходимо ли наличие выражения после else в условном выражении if…then…else…?
130. При какой стратегии вычислений все выражения должны быть означены до выполнения аппликации?
131. При какой стратегии вычислений ранее вычисленные значения аргументов хранятся, если необходимо их повторное использование?
132. Сколько базисов комбинаторов существует в комбинаторной логике?
133. Сколько видов конструкторов доменов в теории вычислений Д. Скотта?
134. Сколько языков программирования реализовано для ?
135. Чем отличается подход к программированию от других Internet-ориентированных подходов?
136. Что из перечисленного является синонимом "ленивых" вычислений?
137. Что из перечисленного является формализацией для абстрактной машины?
138. Что из перечисленного является формализацией КАМ?
139. Что из перечисленного является формализацией рекурсии?
140. Что из перечисленного является формализацией семантики?
141. Что из перечисленного является формализацией синтаксиса?
142. Что из перечисленного является этапом развития комбинаторной логики?
143. Что из перечисленного является этапом развития ламбда-исчисления?
144. Что из перечисленного является этапом развития теории типов?
145. Что называется числом де Брейна?
146. Что объединяет классический ML и более поздние аналоги?
147. Что объединяет языки ООП и языки сценариев?
148. Что означает аббревиатура SECD?
149. Что означает выводимость типов?
150. Что означает название. NET?
151. Что отличает от других платформ разработки приложений?
152. Что отличает от предыдущих идеологий?
153. Что отличает аксиомы комбинаторной логики от прочих утверждений?
154. Что отличает аксиомы от прочих утверждений формальной теории?
155. Что отличает императивные языки программирования от декларативных?
156. Что отличает ламбда-исчисление от булевой логики?
157. Что отличает объектно-ориентированный подход к программированию от компонентно-ориентированного?
158. Что отличает ранние языки программирования от поздних?
159. Что отличает теорию типов от прочих теорий?
160. Что отличает языки сценариев от других языков программирования?
161. Что понимается под интероперабельностью?
162. Что понимается под комбинатором?
163. Что понимается под конверсией в ламбда-исчислении?
164. Что понимается под конструкторами доменов?
165. Что понимается под ламбда-исчислением?
166. Что понимается под литералом в языке программирования?
167. Что понимается под семантикой?
168. Что понимается под синтаксисом?
169. Что понимается под типом?
170. Что понимается под циклом работы КАМ?
171. Что представляет собой "список инструкций" КАМ?
172. Что представляет собой код де Брейна?
173. Что представляет собой среда вычислений при кодировании по де Брейну?
174. Что является недостатком "классической" версии КАМ?
175. Что является недостатком языков параллельного программирования?
176. Что является преимуществом ламбда-исчисления перед классической логикой?
177. Что является преимуществом типизации ?
178. Что является состоянием КАМ?
Актуальная информация по учебным программам ИНТУИТ расположена по адресу: http://www. *****/.
Повышение квалификации (программ: 450) | Профессиональная переподготовка (программ: 14) | Лицензия на образовательную деятельность и приложение | |
|
|
|
|
Developer Project предлагает поддержку при сдаче экзаменов учебных курсов Интернет-университета информационных технологий INTUIT (ИНТУИТ). Мы ответили на экзаменационные вопросы 380 курсов INTUIT (ИНТУИТ), всего вопросов, ответов (некоторые вопросы курсов INTUIT имеют несколько правильных ответов). Текущий каталог ответов на экзаменационные вопросы курсов ИНТУИТ опубликован на сайте объединения Developer Project по адресу: http://www. dp5.su/
Подтверждения правильности ответов можно найти в разделе «ГАЛЕРЕЯ», верхнее меню, там опубликованы результаты сдачи экзаменов по 100 курсам (удостоверения, сертификаты и приложения с оценками).
Болеевопросов по 70 курсам и ответы на них, опубликованы на сайте http://www. dp5.su/, и доступны зарегистрированным пользователям. По остальным экзаменационным вопросам курсов ИНТУИТ мы оказываем платные услуги (см. вкладку верхнего меню «ЗАКАЗАТЬ УСЛУГУ». Условия поддержки и помощи при сдаче экзаменов по учебным программам ИНТУИТ опубликованы по адресу: http://www. dp5.su/
Примечания:
- ошибки в текстах вопросов являются оригинальными (ошибки ИНТУИТ) и не исправляются нами по следующей причине - ответы легче подбирать на вопросы со специфическими ошибками в текстах;
- часть вопросов могла не войти в настоящий перечень, т. к. они представлены в графической форме. В перечне возможны неточности формулировок вопросов, что связано с дефектами распознавания графики, а так же коррекцией со стороны разработчиков курсов.
