Michal Černý
Výpočty - Svazek II.
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.
25,74 €
Zadajte prosím Váš e-mail a budeme Vás informovať keď bude kniha dostupná
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.
| Jazyk | slovenský |
| Vydavateľ | Professional Publishing |
| Rok vydania | 2012 |
| Počet strán | 404 |
| Typ viazania | pevná |
| Hmotnosť (g) | 905 g |
| Rozmery (š-v-h) | 245x170 |
| EAN | 9788074310683 |
| Dodacia doba | nedostupné |
Dalšie obľúbené tituly z kategórie:
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
14,90 €
13,56 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
11,90 €
10,83 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
14,95 €
13,61 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
12,99 €
11,83 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
6,20 €
5,65 €
