načítání...


menu
nákupní košík
Košík

je prázdný
a
b

Teorie vyčíslitelnosti

Další filtry
Řazení
Informační termodynamika III.

Informační termodynamika III.

Autor: Bohdan Hejna

Publikace navazuje na předcházející práce "Informační termodynamika I." a "Informační termodynamika II.", zvláště pak na publikaci "Informační termodynamika I.". Zabývá se problémem zastavení (Halting Problem), ale neaplikuje běžnou ...

Dostupnost: kniha je nedostupná

Výpočty

Výpočty

Autor: Michal Černý

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, ...

Dostupnost: kniha je nedostupná

Výpočty

Výpočty

Autor: Michal Černý

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, ...

Dostupnost: kniha je nedostupná

Knihkupectví Knihy.ABZ.cz – online prodej | ABZ Knihy, a.s.