Černý Martin: Výpočty, svazek I

Popis produktu

Výpočty, svazek I - Černý Martin První svazek trilogie Výpočty je zaměřen na teoriičástečně rekursivních funkcí. Monigrafie pokrývá především tyto oblasti: Turingoavy stroje; primitivně rekursivní funce, obecně rekursivní funkce a částečně rekursivní funkce; ekvivalence Turingových strojů a částečně rekursivních funkcí atd. z kategorie Knihy | Učebnice | VŠ a VOŠ | Matematika od Profesional publishing naleznete ne e-shopu KnihyDobrovsky.cz! 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