Здравейте, колеги,
Извинявам се за закъснението, качих презентациите за типови системи и системи за изразяване на доказателства.
Извънредното занятие на тема "Категорийни граматики" ще се проведе в сряда, 31.05 от 10:00 до 12:00 в зала 500. Тъй като залата е свободна само за два часа, моля да обърнете внимание, че започваме в 10:00, а не в 10:15.