Функциональное программирование и интеллектуальные системы.(1)

Скачать тест — (Функциональное программирование и интеллектуальные_bc29eb4d.pdf)

1. Какими недостатками обладает «машина» Тьюринга?
2. В каком языке программирования применяется S -выражения?
3. В чем заключается суть «вызова по значению» порядка редукций?
4. В чем заключается суть «ленивого» порядка редукций?
5. Какими достоинствами обладает «машина» Тьюринга?
6. С помощью какого алгоритма основана модель типизации?
7. Верно ли следующее утверждение: «Сначала в соответствии с заданным алгоритмом строится значение функции, а затем аргументы вычисляются в порядке вхождения»?
8. Дайте определение, что такое апликативные системы в функциональном программировании?
9. В чем заключается суть «аппликативного» порядка редукций?
10. Из каких атомов состоят S -выражения?
11. В чем суть безопасной типизации?
12. Как в бета-редукции определяется понятие «свободная программа»?
13. Как называется выражение, над которым можно произвести бета-редукцию, т.е. подстановку аргументов во все функции?
14. Какие примеры относятся к императивному языку функционального программирования?
15. В чем заключается суть «вызова по имени» порядка редукций?
16. Какие виды из ниже перечисленных не относятся к редукциям?
17. Какие виды функций в системах программирования существуют?
18. Как называется выражение в лямбда-исчислении?
19. В чем заключается основное предназначение гипертекстовой системы с интеллектуальным интерфейсом?
20. Дайте определение, что такое декларативное программирование?
21. Верно ли следующее утверждение: Что динамическая типизация является противоположностью статической типизации»?
22. Какие достоинства можно выделить в структурном программировании?
23. Какие существуют способы преодоления сложностей решения задач с помощью функциональных определений, используя алгебраический метод?
24. Как называют замену редекса?
25. На какие основные параметры опираются императивные функции?
26. На какие группы подразделяются программные средства интеллектуальной информационной системы?
27. В чем заключается основное предназначение системы когнитивной графики с интеллектуальным интерфейсом?
28. В каком году стали развиваться все возможные ассемблерные языки программирования с простой мнемоникой?
29. В чем заключается суть преобразования «карринг»?
30. Что из ниже перечисленного относится к классу интеллектуальной информационной системы с интеллектуальным интерфейсом?
31. Что из ниже перечисленного относится к классу экспертных систем интеллектуальной информационной системы?
32. Как называют термы в комбинаторной логике?
33. Кто является разработчиком комбинаторной логики математических основ функционального программирования?
34. Какие из ниже перечисленных функций не являются комбинаторами?
35. Каким способом можно любой список в программировании превратить в константу?
36. Кто сформулировал концепцию символьной обработки информации компьютером в 1958 году?
37. Какое лямбда-выражение является левоассоциативным?
38. В чем заключается суть логических значений, с помощью которого можно организовывать ветвление алгоритма?
39. Дайте определение, что такое логическое программирование?
40. Какое лямбда-выражение является правоассоциативным?
41. Из чего состоит синтаксис лямбда-исчисления?
42. Кем была разработана система лямбда-исчисление?
43. Что значит понятие «что то сделать с дном» в терминах «расширенного» лямбда-исчисления?
44. Верно ли следующее утверждение: «Что в расширенном варианте лямбда-исчисление, дно также может появиться от деления на 0»?
45. Что из ниже перечисленного не является лямбда-термы?
46. Из каких основных базовых управляющих структур построена методология разработки программного обеспечения?
47. В чем заключается суть модели типизацииХиндли-Милнера?
48. Как называется теоретическая модель, управление обработкой информации, которой осуществляется в рамках иерархии свободных и связанных переменных, реализуемых с помощью таблицы соответствия символов и их толкования?
49. Какие дополнительные средства не относятся к набору элементов объектно-ориентированного программирования?
50. В чем предназначение динамической типизации?
51. Какие недостатками функционального программирования можно выделить?
52. В чем предназначение неявной типизации?
53. В чем заключается суть «нормального» порядка редукций?
54. Дайте определение, что такое объектно-ориентированное программирование?
55. На что ориентированы императивные языки функционального программирования?
56. Кто является теоретическим основоположником императивного программирования в 1930-х годах?
57. Кто является основоположником комбинаторной логики?
58. Дайте определение, что такое парадигма программирования?
59. Как назывались первые императивные языки?
60. Верно ли следующее утверждение: «Если в терме М встречается переменная x , то она становится связанной»?
61. Что такое  полиморфизм подтипов?
62. Какой порядок редукций используется в большинстве языков программирования?
63. В чем суть правила построения S -выражения?
64. В чем суть правила для написания программного кода, когда переменные x , y , z ….. являются термами?
65. Какое из ниже перечисленного правила не относится к написанию программного кода?
66. В чем заключаются основные преимущества функционального программирования?
67. Что из ниже перечисленного не является преимуществом использования функционального программирования?
68. Что из ниже перечисленного является принципами структурного программирования?
69. В чем заключается способность рекурсивных функций в программировании?
70. Как называется программный код в лямбда-исчислении?
71. В чем суть правила для написания программного кода, если x – переменная, а М-терм, то(λx.M) – терм?
72. В чем суть правила для написания программного кода, если М и N – термы, то ( MN ) – терм?
73. Из чего состоит вычислительный процесс лямбда-выражений?
74. В чем заключается способность псевдо-функций в программировании?
75. Если необходимо избавиться от всех редексов в выражении, то с какого редекса лучше начать в вычислении по значению?
76. Если необходимо избавиться от всех редексов в выражении, то с какого редекса лучше начать в вычислении по имени?
77. С помощью каких этапов происходит выполнение рекурсивной функции?
78. Дайте определение, что такое Рекурсия?
79. Что из ниже перечисленного относится к классу самообучающих систем интеллектуальной информационной системы?
80. Какие свойства S -выражений существуют?
81. Какие основные свойства интеллектуальных задач можно выделить?
82. Верно ли следующее утверждение: «Если переменная x является связанной, то и в терме λ y .x,она связана»?
83. Какие элементы в программировании выделяются в качестве основных видов символьных выражений?
84. Для написания термов вводятся следующие соглашения, в случае, когда «в применении группируем скобки влево» — пишем значение fghx, а что подразумеваем?
85. Для написания термов вводятся следующие соглашения, в случае, когда «в функциях группируем скобки вправо» — пишем значение — λx.λy.x, а подразумеваем?
86. Для написания термов вводятся следующие соглашения, в случае, когда «опускаются внешние скобки» —  пишем значение λx.x, а подразумеваем?
87. Дайте определение, что такое список, как элемент программирования?
88. В чем заключается способность специальных функций в программировании?
89. В чем предназначение строгой типизации?
90. В чем предназначение структурной типизации?
91. Верно ли следующее утверждение: «Что Структурная типизация является противоположностью номинативной типизации»?
92. Дайте определение, что такое структурное программирование?
93. Верно ли следующее утверждение: «Что телекоммуникационные технологии обеспечивают огромному числу пользователей доступ к возможностям экспертных систем, это способствует окупаемости затрат на разработку электронной системы»?
94. В чем заключается суть теоремы Черча-Россера?
95. С помощью какой системы было доказано несколько фундаментальных теорем – теорема Черча-Тьюринга?
96. Верно ли следующее утверждение: «Что Инженер знаний«извлекает» из экспертов процедуры, стратегии, эмпирические правила, которые они используют при решении задач, и встраивает эти знания в экспертную систему»?
97. Как называется специальный термин, где нормальная форма есть не у любого лямбда-терма – вычисление некоторых термов «расходится»?
98. В 70-х – начале 80-х годов XX века появляется множество типизированных функциональных языков, какие из ниже перечисленных являются таковыми?
99. Какие основные функции систем типов данных языка программирования не относятся?
100. Какие формы S -выражений не существуют?
101. Как называются функции, овладевающие техникой работы изучения функционального программирования?
102. Верно ли следующее утверждение: «Что функционал, есть эффективный механизм абстрагирования, моделирования,проектирования и формализации крупномасштабной обработки информации»?
103. Дайте определение, что такое функционал?
104. Дайте определение, что такое функциональное программирование?
105. Как называются функции в лямбда-исчислении?
106. Как выглядит функция двух аргументов + или *, если из нее сделать функцию одного аргумента?
107. В чем заключается основная цель структурного программирования?
108. Верно ли следующее утверждение: «Числа и строки рассматриваются как самоопределимые атомы, смысл которых не требует никакого ассоциирования»?
109. Какие задачи выполняет электронная система?
110. На какие типы подразделяются инструментальные средства построения электронной системы?
111. Из каких основных элементов состоит объектно-ориентированное программирование?
112. Какой язык применяется в логическом программировании?
113. В чем главное предназначение языка обработки символьной информации, Prolog?
114. Как называется язык программирования, где ввод-вывод реализован при помощи монад, т.е. нетривиальной концепции, по заимствованной из теории категорий?
115. В каком году был разработан язык программирования — ALGOL , с целью упрощения выражения математических алгоритмов?
116. Какие предикаты сравнения содержит язык программирования – Lisp ?
117. Кто является создателем языка программирования – Pascal?
118. Какие языки не используются в модели Хиндли-Милнера?
119. В чем главное предназначение языка обработки символьной информации, Lisp?
120. Как называются языки обработки символьной информации?