Elementy teoretycznych podstaw informatyki

W książce przedstawiono ważniejsze zagadnienia teoretycznych podstaw informatyki, należące do standardu kształcenia informatyków. Należą do nich: algorytmy oraz ich reprezentacja iteracyjna i rekurencyjna, dokładność algorytmów, modele obliczeń i maszyny obliczające – w tym maszyny Turinga, złożoność obliczeniowa algorytmów, jej rodzaje, kategorie złożoności, złożoność problemów, klasy złożoności problemów, hierarchie złożoności, metody definiowania i rozpoznawania wzorców znakowych, obejmujące automaty skończone, wyrażenia regularne, gramatyki bezkontekstowe oraz języki rozpoznawane i definiowane przez te metody. Książka zawiera wprowadzenie do obliczeń równoległych zarówno z punktu widzenia architektury systemu, jak i algorytmów obliczeń. Dużo miejsca poświęcono nowemu kierunkowi rozwoju informatyki – obliczeniom kwantowym.