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