Výpočty – Svazek I.

Autor knihy Michal Černý, Vydavatelstvo Professional... Viac...
Dostupnosť: do 7 dní
Product ID: 978-80-7431-049-2
13,10 € s DPH

Popis produktu


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.

Vydavatelstvo Professional Publishing
Jazyk: český
Väzba: viazaná
Počet strán: 256
ISBN: 978-80-7431-049-2

Opýtajte sa nášho predajcu