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

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

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