Výpočty, svazek II
Výpočty, svazek II

Výpočty, svazek II

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. 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…
Produkt již neprodává žádný obchod na Srovnáme.cz, ale máme pro vás podobné.

Specifikace

Klíčové vlastnosti

Název produktu: Výpočty, svazek II
Průměrné hodnocení uživatelů: 0,00 bodů z 5
Hodnocení:
0

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. 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, studované ve svazku I. Výhodná nabídka Výpočty - Michal Černý + poukázka na další nákup v hodnotě 150,- Kč při nákupu nad 950 Kč od Professional Publishing v kategorii knihy > | za cenu 445,00 Kč! Publikace: Výpočty sv.II - Petr Doucek;Luděk Novák;Lea Nedomová;Vlasta Svatá. Publikace: Výpočty sv.II - Petr Doucek;Luděk Novák;Lea Nedomová;Vlasta Svatá.

Recenze

Celkové hodnocení

0
0%
5
0x
4
0x
3
0x
2
0x
1
0x

Váš názor nás zajímá!

Hodnocení je od spotřebitelů, kteří produkt zakoupili.