Teorie vyčíslitelnosti

Výpočty – Svazek I.

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

Dostupnost: 5 pracovních dní i

360 Kč

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

Dostupnost: 5 pracovních dní i

326 Kč

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

Dostupnost: 5 pracovních dní i

439 Kč

Výpočty, Svazek III

Autor: Michal Černý

Třetí díl tohoto mimořádného díla se zabývá Matijasevičovou větou a řešitelností rovnic a nerovnic.

Dostupnost: 5 pracovních dní i

342 Kč