Michal Černý
Výpočty - Svazek I.
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.
21,34 €
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 | 2011 |
Počet strán | 340 |
Typ viazania | pevná |
Hmotnosť (g) | 743 g |
Rozmery (š-v-h) | 245x170 |
EAN | 9788074310492 |
Dodacia doba | nedostupné |
Dalšie obľúbené tituly z kategórie:
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
11,95 €
10,88 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
3,50 €
3,19 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
13,29 €
12,10 €
-9%
Dodacia doba
online cena - Skladom - 1 pracovný deň
11,45 €
10,42 €