obálka: Výpočty

Výpočty (2012)

Autor: Černý Michal
Vydavateľstvo: Professional Publishing
Bežná cena knihy: 21,29 €
Naša cena: 20,23 
  (zľava 5 %)

Vypredané


Informácie o knihe

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.



Podrobnosti

  • Počet strán: 404
  • Formát: 170 × 245 mm
  • Väzba: pevná
  • ISBN: 978-80-7431-068-3
  • Rok vydania: 2012
  • Jazyk: český
  • EAN: 9788074310683