Olejar Books

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 příklady aplikací.
Je určena pracovníkům výpočetních středisek, výzkumných a vývojových ústavů, posluchačům vysokých škol a všem ostatním čtenářům, kteří se zajímají o výpočetní techniku.