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

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