Autor vysvětluje základní, v knize používané matematické pojmy, pojednává o obecných relačních strukturách i některých speciálních případech, jako grafy a řetězce, a definuje substituce v relační struktuře. Uvádí jednoduchý matematický model počítače, tzv. počítač s libovolným přístupem, zabývá se počítači s datovými strukturami, metodami členění velkých programů do menších celků, počítači s paralelním zpracováním informace a probírá algoritmickou řešitelnost a složitost. Zdroj anotace: Národní knihovna ČR