Срокисдачи Мягкийдедлайн: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 (abx) ((λ a. (λ b. a)) x)) (λ b. b)) [x := b] 2.Дни