Svazek I.
Autor: Michal Černý
Vydavateľstvo: Professional Publishing 2011
EAN: 9788074310492
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.
čítať viac
![The Complete Mercury Albums (1986-1991) [7-CD Box Set]](/images/kniha/602567726951.jpg)
Cash Johnny
Universal Music s.r.o. 2020 49,30 €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.
Michal Černý
13,52 €
Michal Černý
15,74 €
Michal Černý
9,90 €
