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