Výpočty

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

• Knihapevná väzba
  Vypredané

  Ach, mrzí nás to, z tejto knihy sa už predali všetky výtlačky a nemáme ju na sklade my ani vydavateľ :( Teoreticky však môžete mať šťastie v niektorých iných obchodoch, ktoré ešte nepredali posledné kusy.

  Pridať do zoznamu