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

Rozum a existencia

Rozum a existencia

Karl Jaspers

KALLIGRAM 2003 6,87 €
Lovecké příběhy z Beskyd

Lovecké příběhy z Beskyd

Richard Sobotka

VÍKEND 2025 13,07 €
Lovci mamutov a tí druhí - balíček

Lovci mamutov a tí druhí - balíček

Pavel Dvořák

Publixing 2020 14,90 €
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.