Wbrew powszechnie panującej opinii komputery nie potrafią wszystkiego. Istnieją bowiem zagadnienia, co do których wiadomo, że nie mają algorytmicznego rozwiązania, a także takie, co do których wiadomo, że dane rozwiązanie jest zupełnie niepraktyczne z uwagi na zapotrzebowanie na czas, pamięć lub liczbę procesorów. Autor niniejszej książki, dokonuje przeglądu najważniejszych wyników algorytmiki, przy czym czyni to prostym, zrozumiałym językiem. Zaczyna od wyjaśnienia elementarnych pojęć algorytmicznych, takich jak algorytm, program, język programowania czy kompilacja. Potem przedstawia pojęcia bardziej złożone, takie jak maszyna Turinga, problemy rozstrzygalne i nierozstrzygalne, złożoność obliczeniowa algorytmów, problemy P, NP i NP - zupełne. Mówi o algorytmach probabilistycznych, kryptografii i sztucznej inteligencji. Poruszane zagadnienia ilustruje przekładami, które są intucyjnie bardzo proste i umożliwiają zrozumienie dość skomplikowanych problemów z zakresu informatyki teoretycznej.