Здравейте, колеги,
Поправителният изпит по λ-смятане и теория на доказателствата ще се проведе на 4.09 (сряда) или 5.09 (четвъртък). Моля, ако някой от вас ще се явява и има друг изпит на някоя от тези дати, да ми пише при първа възможност. Следващата седмица ще обявя окончателната дата и зала за защити. Междувременно, можете да ми изпращате по email вашите решения на задачи, при възможност ще ви върна коментари преди защитите.
Редът на защитите ще се определя както на редовната сесия, а именно – по реда на предаване на решенията.
Желая ви успех!
Т. Трифонов