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. Výpočty - Michal Černý od authora Michal Černý a nakladatelství za skvělé ceny na e-shopu Martinus. cz.
| Autor |
Michal Černý |
| Jazyk |
český |
| Počet stran |
340 |
| Rok vydání |
2011 |
| Žánr |
zjednodušená četba |
| Typ |
filmy |
| Nakladatelství |
Professional Publishing |
