Вопросы по дисциплине:
Функциональное программирование и интеллектуальные системы
Сбросить фильтр
| № | Вопрос | Действия |
|---|---|---|
| 21 | Верно ли следующее утверждение: «Если в терме М встречается переменная x, то она становится связанной»? | Открыть |
| 22 | Верно ли следующее утверждение: «Если переменная x является связанной, то и в терме λ y.x,она связана»? | Открыть |
| 23 | Верно ли следующее утверждение: «Что телекоммуникационные технологии обеспечивают огромному числу пользователей доступ к возможностям экспертных систем, это способствует окупаемости затрат на разработку электронной системы»? | Открыть |
| 24 | Как называется выражение, над которым можно произвести бета-редукцию, т.е. подстановку аргументов во все функции? | Открыть |
| 25 | Верно ли следующее утверждение: «Числа и строки рассматриваются как самоопределимые атомы, смысл которых не требует никакого ассоциирования»? | Открыть |
| 26 | Какие примеры относятся к императивному языку функционального программирования? | Открыть |
| 27 | Какие виды из ниже перечисленных не относятся к редукциям? | Открыть |
| 28 | В чем заключается суть «вызова по имени» порядка редукций? | Открыть |
| 29 | Какие виды функций в системах программирования существуют? | Открыть |
| 30 | Как называется выражение в лямбда-исчислении? | Открыть |