Срокисдачи Мягкийдедлайн：22февраля，23:59 MSK。 截止日期：25фе，23:59 MSK（каждоезаданиеоцениваетсясоштрафом-0.25балла）。 Задачи 1.Проредуциров​​атьследующиелямбда-термы： 1.1。 ((λ p. (λ q. ((q (pr)) s))) ((q ((λ p. p) r)) s)) 1.2。 ((λ a. λ b. (λ x. x) ba (