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.
| EAN : | 9788074310683 |
| Katalógové číslo: | 1178701 |
| Rok vydania: | 2012 |
| Jazyk: | český |
| Počet strán: | 404 |
| Väzba: | pevná |
| Rozmer: | 170x245 mm |
| Hmotnosť: | 905 g |
dostupnosť v našich predajniach
Údaje o skladovej dostupnosti sú len orientačné a môžu sa v priebehu dňa meniť. Ceny v predajniach sa môžu líšiť od
internetových cien. Skladové zásoby v našich predajniach neslúžia na vybavovanie internetových objednávok.
- titul je skladom
- posledné kusy
- momentálne nedostupný
- Banská Bystrica - OD Prior
- Bratislava - Obchodná 62
- Bratislava - OC Danubia
- Bratislava - OC RETRO
- Bratislava - Tesco EXTRA, Zlaté Piesky
- Košice - Železničná stanica
- Liptovský Mikuláš - OC Centrál
- Martin - Ulica 29. augusta 5
- Nitra - OD Prior
- Partizánske - OD Prior
- Piešťany - OD Prior
- Považská Bystrica - OD Prior
- Prievidza - OD Prior
- Trenčín - OD Prior
- Trenčín - OC Južanka
- Trnava - OD Coop Jednota
- Zvolen - OD Prior
- Žiar nad Hronom - OD Prior