Závěrečný svazek trilogie Výpočty se zabývá některými aplikacemi teorie, vyvinuté ve svazcích I a II... Zobraziť viac
Kniha se zabývá teorií algoritmů formalizovaných pomocí Turingových strojů a částečně rekursivních funkcí. První svazek je věnován vybudování výpočetního modelu a problému konvergence výpočtů - teorii algoritmické (ne)rozhodnutelnosti, ... Zobraziť viac
