Функции, аргументы которых функциями не являются, назовем функциями первого порядка. Функции, аргументы которых являются функциями, назовем функциями высшего порядка. Функциями порядка k назовем функции, у которых хотя бы один аргумент является функцией порядка k – 1, и у которых нет аргументов более высокого порядка. Какие утверждения справедливы?
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
в лямбда исчислении изучаются функции любого порядка(Верный ответ)
в практике программирования широко используются функции любого порядка
в практике программирования используются только функции первого порядка
в практике программирования широко используются функции первого и второго порядка(Верный ответ)
в лямбда исчислении изучаются только функции первого и второго порядка
в лямбда исчислении изучаются только функции первого порядка
и 
– это специальная операция над функциями, которая обозначается как 
или 
. Результатом операции является функция 
, такая что 
для любого применимого аргумента 
. Какие утверждения справедливы по отношению к функции 