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

Biblický humanismus

Biblický humanismus

Martin Buber

Malvern 2020 9,91 €
Biblické příběhy ze Starého zákona

Biblické příběhy ze Starého zákona

Josef Somr; Taťjana Medvecká

Supraphon 8,53 €
Colouring Book

Colouring Book

-

DITIPO 2024 4,44 €
Historizmus v umelecom remesle

Historizmus v umelecom remesle

Katarína Malečková

Slovenské národné múzeum - Múzeum Bojnice 2002 4 €
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.