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á vazba
  Vyprodané

  Mrzí nás to, všechny kusy tohoto titulu se už bohužel prodaly a nemáme ho na skladě my ani distributor :( Teoreticky ale můžete mít štěstí v některých jiných obchodech, které ještě neprodaly poslední kusy.

  Přidat do seznamu