! Doprava ZADARMO už od 20 € !
  • Počet strán: 404
  • Väzba: tvrdá
  • EAN: 9788074310683
  • Jazyk: český
  • ISBN: 978-80-7431-068-3

Výpočty - Svazek II

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: 404
  • Väzba: tvrdá
  • EAN: 9788074310683
  • Jazyk: český
  • ISBN: 978-80-7431-068-3

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

book

200 950 kníh na sklade ihneď k odoslaniu

wallet

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

store

Rezervácie v 61 kníhkupectvách


Hodnotenia (0)

0

Odporúčania