Здравейте, колеги,
На следващото редовно занятие на 1.06 (четвъртък) ще направим упражнение за писане на доказателства на компютър на системите MinLog и Coq. Ако всички, които посещават, могат да използват собствен преносим компютър с инсталиран SSH клиент и съвременен браузър, можем да го проведем в зала 302, в която имаме по разпис. Ако някой от вас иска да ползва компютър на ФМИ, ще запазя компютърна зала. Моля да гласувате в тази анкета до 13 часа утре, сряда, 31.05, за предпочитания от вас начин за участие в упражнението. Утре следобед ще обявя кога и как ще се проведе упражнението на базата на резултатите от анкетата.
Поздрави,
Т. Трифонов