60%
Výpočty
| Autor: | Michal Černý |
| Podtitul: | Svazek I. |
| Jazyk (původní knihy): |  čeština |
| Nakladatel: | PROFESSIONAL PUBLISHING |
| ISBN: | 978-80-7431-049-2 |
| EAN: | 9788074310492 |
| Termín: | 09.11.2011 |
| Pořadí vydání: | 1. |
| Jazyk: | čeština |
| Rozsah (počet stran): | 340 |
| Formát (výška x šířka): | 240 x 170 mm |
| Vazba: | pevné desky, papírový potah (eventuálně s laminem), bez přebalu |
| Materiál: | kniha |
Anotace
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.