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