Каким образом осуществляется построение ламбда-термов?
(Отметьте один правильный вариант ответа.)
Варианты ответа
посредством индукции(Верный ответ)
посредством дедукции
посредством рекурсии
Введение в теорию программирования. Функциональный подход
Похожие вопросы
Каким образом осуществляется построение комбинаторов?
Каким образом осуществляется построение типов?
Каким целям служит редукция в ламбда-исчислении?
Что понимается под ламбда-исчислением?
Что понимается под конверсией в ламбда-исчислении?
Что отличает ламбда-исчисление от булевой логики?
В чем состоит основное назначение ламбда-исчисления?
Какое отношение задают аксиомы ламбда-исчисления?
Что из перечисленного является этапом развития ламбда-исчисления?
Какая теория логически предшествовала ламбда-исчислению?