Кто-нибудь может сказать мне, каковы предварительные условия для изучения лямбда-исчисления (если есть)?