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

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

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