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