Svaz českých knihkupců a nakladatelů
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.
| ISBN: | 978-80-7431-049-2 |
|---|---|
| EAN: | 9788074310492 |
| Doporučená cena: | 388 Kč |
| Počet stran | 340 stran |
| Rozměr | 170x240 mm |
| Pořadí vydání | 1. |
| Datum vydání | 9. 11. 2011 |
| Jazyk | český |
| Vazba | pevné desky, papírový potah (eventuálně s laminem), bez přebalu |
| Nakladatelství | PROFESSIONAL PUBLISHING |
| Tématická skupina | 3 - Přírodní vědy, matematika |