Здравейте, колеги,
Както говорихме на последното занятие, защитата на домашните по λ-смятане и теория на доказателствата ще се проведе на 2.07 (вторник). Припомням, че всеки може да ми праща решение по всяко време преди изпита, като ще връщам лични отговори с резултати и коментари по решенията. В деня преди защитата (1.07) ще обявя и ориентировъчен график за защити с цел улесняване на организацията.
Поздрави,
Т. Трифонов