Logika ir algoritmų sudėtingumas

Vadovėlyje nagrinėjama algoritmų klasifikacija pagal būtinus jų panaudojimui resursus. Be nuosekliųjų skaičiavimo modelių nagrinėjami lygiagretieji bei tikimybiniai algoritmai. Algoritmo sudėtingumo matais laikomas uždavinio sprendimo laikas arba panaudotos atminties apimtis. Dalis vadovėlio skirta pirmosios bei antrosios eilės logikos kalbai ir jos panaudojimui problemų sintaksiniam aprašymui. Gauti rezultatai dažniausiai iliustruojami grafų teorijos uždaviniais. Knyga skirta informatikos, matematikos ir matematikos taikymų specialybių studentams.