Здравейте,
Предлагам да проведем изпита по λ-смятане и теория на доказателствата в четвъртък (7.07) от 10:00. С присъстващите на лекциите днес съгласувахме, че датата е удобна.
Моля, ако някой от вас има дублиране на датата с друг изпит да отговори на това съобщение в срок до тази сряда, 1.06, 20:00.
Припомням ви, че изпитът ще представлява защита на задачите за домашна работа. Ангажирам се до края на седмицата да кача текущ списък със задачите за домашно и критерии за оценяване.
Т. Трифонов
Здравейте,
Окончателно изпитът ще се състои на 7.07 (четвъртък) от 10:00 в зала 307.
Също така, публикувани са всички задачи, давани през семестъра, които могат да бъдат решавани за изпита. Възможно е да съм пропуснал някоя от задачите, които съм давал в хода на лекциите, така че ако забележите пропуск, моля да ми пишете.
Напомням също, че по всяко време можете да пишете във форума за въпроси.
Здравейте,
Както ви обещах, качил съм записки от лекции от миналогодишни издания на курса:
Надявам се, че ще са ви полезни в подготовката.