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