• Počet strán: 338
  • Väzba: tvrdá
  • EAN: 9788074310492
  • Jazyk: český
  • ISBN: 978-80-7431-049-2

Výpočty svazek I.

Michal Černý

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.
  • Počet strán: 338
  • Väzba: tvrdá
  • EAN: 9788074310492
  • Jazyk: český
  • ISBN: 978-80-7431-049-2

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.
menej

Kniha

244 534 kníh na sklade ihneď k odoslaniu

wallet

Poštovné zadarmo pre nákupy od 49€

store

Rezervácie v 58 kníhkupectvách