Wbrew powszechnie panującej opinii komputery nie potrafią wszystkiego. Istnieją bowiem zagadnienia, co do których wiadomo (i można tego dowieść), ż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. Harel dokonuje przeglądu najważniejszych wyników algorytmiki, przy czym czyni to bardzo 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 przykładami, które są intuicyjnie bardzo proste i umożliwiają zrozumienie dość skomplikowanych problemów z zakresu informatyki teoretycznej. Książka jest przeznaczona dla licealistów (zwłaszcza tych zauroczonych możliwościami dzisiejszych komputerów), nauczycieli informatyki, studentów informatyki i kierunków matematyczno - przyrodniczych, zawodowych informatyków i matematyków. Po przeczytaniu jej młodzi ludzie nabiorą zdrowego dystansu do obiektu ich fascynacji, a nauczyciele będą w stanie lepiej im uświadomić, że informatyka nie sprowadza się do klikania myszką na czas.
|
