✅ Poštovné ZADARMO nad 39€ ✅ Knižná akcia každý mesiac ✅ Bezpečný nákup
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, rovněž se věnuje aplikacím teorie algoritmů v logice. Druhý a třetí svazek budou vydány v roce 2012.
Recenzie a kritiky
Rok vydania:
2011ISBN:
9788074310492Rozmer:
176×250 mmPočet strán:
340Väzba:
pevnáJazyk: čeština
