Publikácie z oblasti matematiky, vrátane učebníc, príručiek a teoretických štúdií. Pre študentov, pedagógov a nadšencov logiky a čísel.
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.
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.
Hľadáte konkrétny titul?
Použite vyhľadávacie pole na vrchu stránky!
Publikácie z oblasti matematiky, vrátane učebníc, príručiek a teoretických štúdií. Pre študentov, pedagógov a nadšencov logiky a čísel.