Výpočty – Svazek I.
od Michal Černý z vydavateľstva Professional Publishing 2011
Výpočty – Svazek I.
od Michal Černý z vydavateľstva Professional Publishing 2011
Autor: | Michal Černý |
Vydavateľstvo: | Professional Publishing |
Rok vydania: | 2011 |
EAN: | 9788074310492 |
Počet strán: | 256 |
Typ tovaru: | Viazané knihy |
Jazyk: | český |
Rozmery: | 170x245 mm |
Žáner: | technické vedy a odborná literatúra |
Vydanie: | 1 |
Viac o knihe Výpočty – Svazek I. (Michal Černý)
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.
Súbory na stiahnutie
Názov | Veľkosť | Formát | Dátum |
---|---|---|---|
Ukážka z knihy | 513,3 kB | 21.08.2013 |