Вопросы по дисциплине:
Функциональное программирование и интеллектуальные системы
Сбросить фильтр
№ | Вопрос | Действия |
---|---|---|
101 | Для написания термов вводятся следующие соглашения, в случае, когда «опускаются внешние скобки» - пишем значение λx.x, а подразумеваем? | Открыть |
102 | Для написания термов вводятся следующие соглашения, в случае, когда «в функциях группируем скобки вправо» - пишем значение - λx.λy.x, а подразумеваем? | Открыть |
103 | Дайте определение, что такое список, как элемент программирования? | Открыть |
104 | В чем заключается способность специальных функций в программировании? | Открыть |
105 | В чем предназначение строгой типизации? | Открыть |
106 | В чем предназначение структурной типизации? | Открыть |
107 | Верно ли следующее утверждение: «Что Структурная типизация является противоположностью номинативной типизации»? | Открыть |
108 | Дайте определение, что такое структурное программирование? | Открыть |
109 | В чем заключается суть теоремы Черча-Россера? | Открыть |
110 | Из каких атомов состоят S -выражения? | Открыть |