0

Knihy

Výpočty

Výpočty

Svazek I.

Autor: Michal Černý
Vydavateľstvo: Professional Publishing 2011
EAN: 9788074310492

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

Planety

Planety

Zdeněk Pokorný; Michal Švanda

Aventinum 2021 14,05 €
Celestinské proroctví

Celestinské proroctví

James Redfield

Alpha book 2016 11,91 €
Dielo živého umenia

Dielo živého umenia

Miloš Mistrík

VEDA 2020 13,30 €
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 2011
ISBN 978-80-7431-049-2
JAZYK český
POČET STRÁN 340
VÄZBA tvrdá
ROZMER 245 × 170 mm
HMOTNOSŤ 743 g

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