Здравейте,
Благодаря на всички, които гласуваха в анкетата. Изпитът по λ-смятане и теория на доказателствата ще се проведе на 6 юли (понеделник) от 10:00 в зала 308. Също така ще публикувам списък със задачите за домашно, които съм давал по време на лекции. Припомням да ползвате форума за въпроси, ако искате да питате нещо относно задачите.
Поздрави,
Т. Трифонов