0

Knihy

Výpočty

Výpočty

Svazek II.

Autor: Michal Černý
Vydavateľstvo: Professional Publishing 2012
EAN: 9788074310683

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.

čítať viac

Tituly, ktoré ste už videli  x

Bohyně osudu v salonu d'Amour

Bohyně osudu v salonu d'Amour

Anna Jansson

Omega 2018 11,94 €
Naše hriešne lži

Naše hriešne lži

Geissinger J.T.

IKAR 2024 15,21 €
Duše květů

Duše květů

Pavlína Kourková, Klára Mandausová

Mladá fronta 2022 22,04 €
Veľké dámy, malé cnosti

Veľké dámy, malé cnosti

Juliette Benzoni

REMEDIUM 2006 11,81 €
Dostupnosť:
Nie je na sklade

Dostupnosť v kníhkupectve:
Academia, Bratislava - nie Pergamen, Senec - nie

 

Viac o knihe

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.

VYDAVATEĽSTVO Professional Publishing
ROK VYDANIA 2012
ISBN 978-80-7431-068-3
JAZYK český
POČET STRÁN 404
VÄZBA tvrdá
ROZMER 245 × 170 mm
HMOTNOSŤ -

Ďalšie tituly od autora Michal Černý

Používame cookies na zlepšenie vášho zážitku z nakupovania.

Nevyhnutné
Identifikácia vašej relácie - základná funkčnosť košíku, zážitku z prehliadania a zabezpečenie.


Môžeme ukladať údaje na vašom zariadení, aby sme mohli poskytovať doplnkové funkcie, ktoré zlepšujú váš zážitok z prehliadania. Napr. vyhľadávanie alebo chat.


Používanie analytických nástrojov nám umožňuje lepšie porozumieť potrebám našich návštevníkov a tomu, ako používajú našu stránku a zaznamenávanie udalostí konverzií a podobne.


Môžeme používať súbory cookie a nástroje tretích strán na zlepšenie ponuky produktov.