Ответы на экзаменационные вопросы интернет-курсов ИНТУИТ (INTUIT): 080. Языки логического программирования
1. В каких случаях ответом является "Да" или "Нет"?
2. В каком случае в результате шага вычислений запрос не изменяется?
3. В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?
4. В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?
5. В каком случае интерпретация переменных рассмотренных формул процедуры годится при рассмотрении следующей формулы?
6. В каком случае интерпретация переменных рассмотренных формул процедуры не годится при рассмотрении следующей формулы?
7. В каком случае НАМ не применим к входным данным?
8. В каком случае НАМ применим к входным данным?
9. В каком случае не существует НОУ выражений?
10. В каком случае предикат nonvar(X) возвращает истинное значение?
11. В каком случае предикат var(X) возвращает истинное значение?
12. В каком случае результат работы НАМ не совпадает с входной строкой?
13. В каком случае результат работы НАМ совпадает с входной строкой?
14. В чем основная идея оптимизации алгоритма перемножения матриц?
15. В чем состоит процесс отождествления деревьев атома запроса и заголовка процедуры?
16. Выражение ((S)N)S
17. Выражение (k/aa/ (k/"bb"/.).)
18. Выражение '(k/aa/ (k/"bb"/..)'
19. Выражение (k/aa/ (k/bb/..))
20. Выражение (O)()D()
21. Выражение (RO)S
22. Вычисление выражения k/functab/ k/chartof/ k/ftochar/ /f2008/...
23. Вычисление выражения k/print/ k/ftochar/ k/chartof/ k/card/....
24. Вычисление выражения k/print/ k/functab/ k/chartof/ k/card/....
25. Вычисление выражения Рефала-2
26. Вычисление выражения Рефала-2
27. Вычисление выражения Рефала-2
28. Вычисление выражения Рефала-2
29. Вычисление выражения Рефала-2
30. Вычисление выражения Рефала-2
31. Где употребляется конструкция not и что она означает?
32. Где употребляется точка с запятой и что она означает?
33. Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?
34. Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?
35. Для каких данных следующие 2 формы дадут одинаковый результат: /(1,2)*3 и (/1*3,/2*3)?
36. Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и 3*(1,2)?
37. Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?
38. Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?
39. Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?
40. Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?
41. Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?
42. Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?
43. Для каких данных следующие 2 формы не дадут одинакового результата: (1*1,1*1)*(1,1) и (1,1)*(1*1,1*1)?
44. Для каких данных следующие 2 формы не дадут одинакового результата: A(+*1) и A(1*+)?
45. Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?
46. Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?
47. Для каких данных следующие 2 формы не дадут одинакового результата: 1*(1,1) и (1,1)*1?
48. Из каких частей слагается алгоритм произведения строки первой матрицы на вторую?
49. Из каких частей состоит оптимизированное произведение первой матрицы на вторую после ее транспонирования?
50. Из чего состоит описание рефал-функции по определению?
51. К чему приводит выполнение запроса ← consult(X)?
52. Как ведется рассмотрение запроса?
53. Как ведется рассмотрение формул процедуры для атома?
54. Как графически представляется пространство вычислений программы?
55. Как образуется скалярное произведение пар?
56. Как определяется атом модели Бэкуса?
57. Как определяется наиболее общий унификатор выражений?
58. Как определяется объект модели Бэкуса?
59. Как определяется отношение выводимости запросов Q1 и Q2?
60. Как определяется подстановка Пролога?
61. Как определяется унификатор выражений?
62. Как связаны ответ и правильный ответ?
63. Какая из директив не должна содержать информацию директивы?
64. Какая из директив не содержит идентификатора директивы?
65. Какая из директив Рефала-2 содержит только ключевое слово?
66. Какие аксиомы используются при доказательстве эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?
67. Какие атомы могут употребляться в запросе?
68. Какие выражения не являются встроенными предикатами?
69. Какие выражения не являются встроенными предикатами?
70. Какие выражения не являются встроенными предикатами?
71. Какие утверждения верны относительно входов программного модуля в Рефале-2?
72. Какие утверждения верны относительно директив рефалпредложений в Рефале-2?
73. Какие утверждения не верны относительно внешних имен программного модуля в Рефале-2?
74. Каким образом изменяется запрос при вычислениях?
75. Какое действие может выполняться на шаге работы НАМ?
76. Какое действие не может выполняться на шаге работы НАМ?
77. Какое из утверждений является верным?
78. Какое из утверждений является неверным?
79. Какое из утверждений явяляется верным?
80. Какое утвверждени относительно запроса Пролога является верным?
81. Какое утверждение верно относительно директив Рефала-2?
82. Какое утверждение верно относительно директив Рефала-2?
83. Какое утверждение для арифметических функций Рефала-2 является верным?
84. Какое утверждение для арифметических функций Рефала-2 является неверным?
85. Какое утверждение для арифметических функций Рефала-2 является верным?
86. Какое утверждение для Рефала-2 является верным?
87. Какое утверждение для Рефала-2 является верным?
88. Какое утверждение для Рефала-2 является верным?
89. Какое утверждение для Рефала-2 является верным?
90. Какое утверждение для Рефала-2 является верным?
91. Какое утверждение для Рефала-2 является верным?
92. Какое утверждение для Рефала-2 является неверным?
93. Какое утверждение для Рефала-2 является неверным?
94. Какое утверждение для Рефала-2 является неверным?
95. Какое утверждение для Рефала-5 не является чистым присваиванием?
96. Какое утверждение для Рефала-5 является верным?
97. Какое утверждение для Рефала-5 является верным?
98. Какое утверждение для Рефала-5 является верным?
99. Какое утверждение для Рефала-5 является неверным?
100. Какое утверждение для Рефала-5 является неверным?
101. Какое утверждение для Рефала-5 является неверным?
102. Какое утверждение для Рефала-5 является условным присваиванием?
103. Какое утверждение для Рефала-5 является чистым условием?
104. Какое утверждение для функций ввода/вывода Рефала-2 является верным?
105. Какое утверждение для функций ввода/вывода Рефала-2 является верным?
106. Какое утверждение для функций ввода/вывода Рефала-2 является неверным?
107. Какое утверждение для функций лексического анализа Рефала-2 является неверным?
108. Какое утверждение для функций лексического анализа Рефала-2 является верным?
109. Какое утверждение для функций лексического анализа Рефала-2 является верным?
110. Какое утверждение неверно относительно директив Рефала-2?
111. Какое утверждение относительно запроса Пролога является неверным?
112. Какое утверждение относительно правил Пролога является неверным?
113. Какое утверждение относительно правл Пролога является верным?
114. На какие 2 функции разбивается функция простого перемножения матриц?
115. На какие 2 части разбивается алгоритм подготовки матрицы пар?
116. На какие 2 части разбивается расписывание каждой строки первой матрицы с каждой строкой второй транспонированной матрицы?
117. На сколько случаев разбивается доказательство эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?
118. Определите значение выражения ((2 * 2 → 4, 5) → 5; 7).
119. Определите значение выражения (1,2*3).
120. Определите значение выражения (2 * 2 → 4, 5).
121. Определите значение выражения (2 * 2 → 4, 5).
122. Определите значение выражения (while 2 1) :< < T, F >; T, F >.
123. Определите значение выражения (while 2 1) :< F, T, F >.
124. Определите значение выражения (while eq * (+2, 3), 1) :< < 1, 2 >; < -1, 4 > >.
125. Определите значение выражения <1,2*3>.
126. Определите значение выражения <2*3>.
127. Определите значение выражения <2>*<3>.
128. Определите значение выражения =+ :< < 1, 2 > >.
129. Определите значение выражения =+ :< < 1, 2 >; < 3; 4 > >.
130. Определите значение выражения 1,2*3.
131. Определите значение выражения 2*3 в модели Бэкуса.
132. Определите значение выражения A+ :< < 1, 2 > >.
133. Определите значение выражения A+ :< < 1, 2 >; < 3; 4 > >.
134. Определите значение выражения A+ :< < 1, 2 >; 3 >.
135. Правильный ответ:
136. При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?
137. При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?
138. При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?
139. При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?
140. При помощи какой формы передаются данные последующей части алгоритма после транспонирования второй матрицы?
141. С чем не связан backtracking?
142. С чем не связано применение спецификаций?
143. Сколько раз применяется форма композиции в алгоритме простого перемножения матриц?
144. Сколько раз применяется форма конструкции в алгоритме простого перемножения матриц?
145. Сколько раз применяется форма общей аппликации в алгоритме простого перемножения матриц?
146. Сколько форм композиции используется в произведении строки первой матрицы на вторую?
147. Сколько форм общей аппликации используется в произведении строки первой матрицы на вторую?
148. Укажите верное утверждение для конструкции условия Рефала-5.
149. Укажите верное утверждение для конструкции условия Рефала-5.
150. Укажите верное утверждение для Рефала-2.
151. Укажите верное утверждение для Рефала-2.
152. Укажите верное утверждение для Рефала-5.
153. Укажите верное утверждение для Рефала-5.
154. Укажите неверное утверждение для конструкции условия Рефала-5.
155. Укажите неверное утверждение для Рефала-2.
156. Укажите неверное утверждение для Рефала-5.
157. Укажите формальное определение атома Пролога?
158. Чем определяется применимость НАМ к входным данным?
159. Что возвратит в поле зрения вычисление выражения
160. Что возвратит в поле зрения вычисление выражения
161. Что возвратит в поле зрения вычисление выражения
162. Что возвратит следующее применение функции к данным: +:< <2,-1>,-1> ?
163. Что возвратит следующее применение функции к данным: ÷ :< <3,-2>,-1> ?
164. Что возвратит следующее применение функции к данным: 3:< <2,-1,0>,<-1,0,2> > ?
165. Что возвратит следующее применение функции к данным: appendr:< <2,-1,0>,<-1,0,2> > ?
166. Что возвратит следующее применение функции к данным: distr:< <2,-1,0>,<-1,0,2> > ?
167. Что возвратит следующее применение функции к данным: gt:< <2,-1>,<-1,0> > ?
168. Что возвратит следующее применение функции к данным: long:< <2,-1,0>,<-1,0,2> > ?
169. Что возвратит следующее применение функции к данным: t2:< <2,-1,0>,<-1,0,2> > ?
170. Что возвратит следующее применение функции к данным: x :< <2,-1>,-1> ?
171. Что всегда является подстановкой НАМ?
172. Что всегда является словом НАМ?
173. Что делает и что возвращает запрос ← read(x)?
174. Что может быть НАМ?
175. Что может быть ответом на запрос Пролога?
176. Что может быть подстановкой НАМ?
177. Что может быть рефал-выражением?
178. Что может быть спецификатором Рефала-2?
179. Что может быть термом Рефала?
180. Что может быть элементом описания спецификатора Рефала-2?
181. Что может входить в описание рефал-функции?
182. Что может не являться атомом модели Бэкуса?
183. Что может являться атомом модели Бэкуса?
184. Что может являться объектом модели Бэкуса?
185. Что называется запросом Пролога?
186. Что называется интерпретацией программы?
187. Что называется моделью программы?
188. Что называется образцовым окончанием Рефала-5?
189. Что называется объектом Пролога?
190. Что называется основной моделью программы?
191. Что называется ответом на запрос интерпретации?
192. Что называется правилом Пролога?
193. Что называется правильным ответом?
194. Что называется результатным блоком Рефала-5?
195. Что называется результатным окончанием Рефала-5?
196. Что называется термом Пролога?
197. Что называется фактом Пролога?
198. Что не всегда является словом НАМ?
199. Что не может быть НАМ?
200. Что не может быть результатом работы НАМ?
201. Что не может быть рефал-выражением?
202. Что не может быть спецификатором Рефала-2?
203. Что не может быть термом Рефала?
204. Что не может быть элементом описания спецификатора Рефала-2?
205. Что не может входить в описание рефал-функции?
206. Что не может являться объектом модели Бэкуса?
207. Что не определяет стратегия вычислений Пролога?
208. Что не предотвращает зацикливания при вычислениях Пролога?
209. Что не является атомом Пролога?
210. Что не является видом памяти Рефала-2?
211. Что не является видом памяти Рефала-2?
212. Что не является входом в процедуру Пролога?
213. Что не является кортежем в модели Бэкуса?
214. Что не является объектом Пролога?
215. Что не является рефал-предложением?
216. Что не является рефал-предложением?
217. Что не является термом Пролога?
218. Что не является фактом Пролога?
219. Что определяет вход в процедуру Пролога?
220. Что остается неизменным при оптимизации алгоритма перемножения матриц?
221. Что по определению является запросом Пролога?
222. Что по определению является программой Пролога?
223. Что представляет собой пространство вычислений программы?
224. Что происходит при отсутствии интерпретации переменных очередного атома запроса?
225. Что происходит, если в результате вычислений не получен пустой запрос?
226. Что происходит, если в результате вычислений получен пустой запрос?
227. Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?
228. Что соответствует определению подстановки НАМ?
229. Что такое дерево атома запроса?
230. Что такое дерево заголовка процедуры?
231. Что такое кортеж в модели Бэкуса?
232. Что такое матрица пар?
233. Что такое НАМ по определению?
234. Что такое по определению вариант выражения?
235. Что такое по определению частный случай выражения?
236. Что такое правило отсечения в Прологе?
237. Что такое рефал-выражение?
238. Что такое слово в определении НАМ?
239. Что такое спецификатор в определении Рефала-2?
240. Что такое стратегия вычислений в Прологе?
241. Что такое терм в определении Рефала?
242. Что такое элемент описания спецификатора в определении Рефала-2?
243. Что точно соответствует одному из последовательных действий на шаге работы НАМ?
244. Что является атомом Пролога?
245. Что является верным в отношении ответа на запрос?
246. Что является видом памяти Рефала-2?
247. Что является входом в процедуру Пролога?
248. Что является кортежем в модели Бэкуса?
249. Что является неверным в отношении ответа на запрос?
250. Что является объектом Пролога?
251. Что является ошибкой в следующем рефал-предложении? EEvvEE=Ee 'EE' VV
252. Что является ошибкой в следующем рефал-предложении? WWSASB=Ww. 'SB' ' 'Sa
253. Что является ошибкой в следующем рефал-предложении? WWWWWW=Ww 'WW' ' 'Sa
254. Что является рефал-предложением?
255. Что является термом Пролога?
256. Что является фактом Пролога?
257. Что является целью оптимизации в алгоритме перемножения матриц?
Актуальная информация по учебным программам ИНТУИТ расположена по адресу: 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/
Примечания:
- ошибки в текстах вопросов являются оригинальными (ошибки ИНТУИТ) и не исправляются нами по следующей причине - ответы легче подбирать на вопросы со специфическими ошибками в текстах;
- часть вопросов могла не войти в настоящий перечень, т. к. они представлены в графической форме. В перечне возможны неточности формулировок вопросов, что связано с дефектами распознавания графики, а так же коррекцией со стороны разработчиков курсов.
