λ-смятане и теория на доказателствата, летен семестър 2019/2020

Здравейте, колеги,

Публикувани са задачите за изпит по λ-смятане и теория на доказателствата. В началото на файла са публикувани критериите за оценяване на задачите. Моля да обърнете внимание, че:

• някои от задачите и точките, които носят, се различават от тези, давани на предни години, тъй като са съобразени с материала, преподаден през изминалия семестър
• не всички задачи, даване на лекции, са включени в списъка и носят точки

Изпитът ще представлява защита на решените от вас задачи от списъка и ще се проведе дистанционно през всички оставащи сесии през настоящата учебна година. За да се явите на изпит е необходимо:

1. Да заявите желанието си за явяване на изпит през първа или втора лятна сесия в следната анкета, съгласно изискване на Декана на ФМИ
2. Да качите решенията си в това задание
3. Да ми пишете email, в който да заявите, че сте готови за защита и да уговорим дата и час за защита
4. В уговорените дата и час на защита:
   1. да осигурите, че имате работеща и стабилна Интернет връзка, работещи микрофон и видеокамера
   2. да се явите в Google Meet на същия адрес, на който провеждахме лекциите. Съгласно изискване на Декана на ФМИ, защитата ще бъде записана, за да има следа от проведения изпит.
   3. да подготвите студентска книжка (или при липса на такава: документ за самоличност), с който да се удостоверите
   4. да можете да обясните решенията си и да отговорите на въпроси, свързани с тях
       

Официално обявените дати за изпит са 21.07 и 20.08, но при готовност и лична уговорка можете да се явите на всяка друга дата от избраната от вас сесия.

При въпроси, моля пишете в Discord.

Поздрави,
  Т. Трифонов