Как расставляются скобки в выражении λx.λy.e1e2?
Как расставляются скобки в выражении f sin x*2?
В чем преимущества лямбда-исчисления как модели вычислений?
Какие базовые операции чистого лямбда-исчисления?
Какой самый внутренний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?
Какой самый внешний редекс в выражении (λx.λy.y) ((λz.z z) (λz.z z))?
Как правильно описать дерево общего вида на F#?
Как правильно описать двоичное дерево на F#?
Разреженная матрица размерности nXn с m ненулевыми элементами представляется в виде функции int*int → float. Какова будет сложность операции умножения всех элементов матрицы на 2?
Какие из преобразований надо применить, чтобы редуцировать (λx.sin x) 0 → 0?