Здравейте, колеги,
Както говорихме на занятието тази седмица, изпитът по λ-смятане и теория на доказателствата ще се проведе на 25.06 (вторник) от 9:00. Защитите ще се проведат по ред на първо предаване на задачи. До момента само един студент, който ще се явява на тази дата, ми е предал решения. Решения на задачите можете да ми предавате лично на последното извънредно занятие следващия четвъртък (13.06) или по всяко време по email, както и на самия изпит. Ако предадете решения по-рано, има възможност да успея да ви върна коментари, които да имате възможност да адресирате преди защитата.
Моля да имате предвид, че е възможно да се наложи да приключим изпита до 12 заради евентуален ангажимент; ако това се случи, за незащитилите студенти ще обявя допълнителна дата.
Желая ви успех!
Т. Трифонов