Teorie vyčíslitelnosti

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: 6 pracovních dní i

326 Kč

Výpočty - Svazek II.

Autor: Michal Černý

Druhá část trilogie Výpočty se zabývá především otázkou existence omezených výpočtů s důrazem na existenci výpočtů omezené délky. Kniha často odkazuje na pojmy a věty z rekurse, ...

Dostupnost: 5 pracovních dní i

435 Kč

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

361 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č