Здравейте, колеги,
Поправителният изпит по λ-смятане и теория на доказателствата ще се проведе на 1.09 (четвъртък). Форматът е същият както и през редовната сесия: ще очаквам да ми изпратите по email решения на избрани от вас задачи за изпит, като за успешно полагане на изпита е необходимо да бъдат покрити минимумите от точки, указани в документа.
Редът на защитаване ще се определя от реда, по който получа решения на задачите.
Желая ви успешна подготовка и спокойно лято!