Какие утверждения являются корректными?

Правильный ответ:

теория лямбда исчисления представляет основу понимания агентов

связанные переменные лямбда-выражения не являются произвольными именами

каррингом функции из аргументов называется специализация (задание значений) аргументов (). В результате карринга функция из аргументов трансформируется в функцию из аргументов

процесс переименования связанных переменных лямбда-выражения называется бета-редукцией

процесс переименования связанных переменных лямбда-выражения называется альфа-преобразованием

• # При создании документа требований какой прием не применяется при сборе требований?
• # Какие утверждения справедливы относительно принципа кастинга (приведения типа)?
• # Что обозначает агентное выражение agent g(a, ?, b)?
• # Какие высказывания справедливы для процесса регистрации подписки?
• # Какова главная цель инженерии программ?