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

Zdání a manžel vždycky klamou

Zdání a manžel vždycky klamou

Alena Jakoubková

MOBA 2021 15,34 €
Právo svobody

Právo svobody

Axel Honneth

Filosofia 2018 13,18 €
Tajemný Etrusk

Tajemný Etrusk

Mika Waltari

VYŠEHRAD 2023 22,04 €
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.