Това обновено издание на успешния наръчник на Майкъл Сипсър разказва завладяващата история на теорията на изчисленията - научна област, която включва елегантни заключения и вълнуващи нерешени въпроси на кръстопътя между математиката и компютърните науки.

Простият и ясен стил на Сипсър позволява на студенти от всяко ниво да разберат и се насладят на тази познавателна област. Новаторските раздели на доказателствени идеи интуитивно разкриват идеите, на които се основават формалните доказателства на теоремите, пояснявайки основните концепции на разбираем език.

Новото издание е подобрено по много начини, въз основа на предложения от студенти и преподаватели през годините, и включва напълно преработени и тествани в обучението групи с проблеми, с указателни решения в края на всяка глава.