Моля тези от вас, които искат да се явяват на изпит по Ламбда смятане и теория на доказателствата през поправителната сесия да заявят желанието си в отговор на това съобщение, за да можем да се разберем за дата за защити. Работният вариант в момента е петък, 2.09.
В момента знам за трима от вас, които са заявили, че искат да се явят: Ф№ 44865, 80905, 81030.
Поздрави,
Т. Трифонов