База ответов ИНТУИТ

Введение в теорию программирования. Функциональный подход

<<- Назад к вопросам

Что понимается под ламбда-исчислением?

(Отметьте один правильный вариант ответа.)

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