Теория на програмите в задачи

„Теория на програмите в задачи" включва упражнения от почти всички области на курсовете по Семантика на програмиращите езици и Изчислимост и сложност, които се преподават на студентите във Факултета по математика и информатика към Софийския университет „Св. Климент Охридски" през последните години. В началото на всеки раздел е представен кратък теоретичен материал, което позволява относителна автономия на книгата спрямо други учебници. Много от задачите са решени, а за останалите са предоставени детайлни указания или решения.

Книгата не само че ще бъде полезна за студенти, изучаващи посочените дисциплини, но също така може да представлява интерес за по-широк кръг читатели с интереси в сферата на теоретичната информатика.