Ламбда смятане и теория на доказателствата 2013/14

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

Окончателно фиксирахме датата за изпит за вторник 1.07 от 10:00 в зала 501. Публикувани са задачите за изпита. Оценката се получава по формулата 1 + точки / 10. Т.е. за вземане на изпита са необходими минимум 20 т., а за отлична оценка трябват 45 т.

Ако имате въпроси по задачите или по материала, моля използвайте форума за въпроси.

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