Úvod do teorie počítačů

Kniha představuje úvod do teorie formálních modelů počítačů. Základní teoretickou kostru tvoří relační struktury a substituce. V knize jsou podány tři základní modely počítače: Počítače s libovolným přístupem, počítače s datovými strukturami a počítače s paralelním zpracováním informace. Výklad je doplněn o příklady aplikací.