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

Что отличает ламбда-исчисление от булевой логики?

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

Варианты ответа

булева логика более наглядно формализует процесс программирования

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

существенных различий нет

Похожие вопросы

Для какого из перечисленных языков программирования использовалось ламбда-исчисление?

Что отличает аксиомы комбинаторной логики от прочих утверждений?

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

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

В чем состоит основное назначение ламбда-исчисления?

Какая теория логически предшествовала ламбда-исчислению?

Что из перечисленного является этапом развития ламбда-исчисления?

Каким целям служит редукция в ламбда-исчислении?

Каким образом осуществляется построение ламбда-термов?

Какое отношение задают аксиомы ламбда-исчисления?