
-1%
sleva
sleva
Kniha:
Výpočty
Autor:
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,
... (celý popis)
Titul doručujeme za 7 pracovních dní (poslední kusy u dodavatele, dodání s pravděpodobností 90%)

Specifikace
Nakladatelství: | » Professional Publishing |
Médium / forma: | Tištěná kniha |
Rok vydání: | 2012 |
Počet stran: | 404 |
Rozměr: | 245x170 |
Úprava: | 3 sv. (338, 399, 281 stran); ilustrace |
Vydání: | Vyd. 1. |
Skupina třídění: | Matematika |
Jazyk: | česky |
Vazba: | pevná |
Nakladatelské údaje: | Praha, Professional Publishing, 2011-2012 |
EAN: | 9788074310683 |
Ukázka: | » zobrazit ukázku |
Popis
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.
Další popis
Druhá část trilogie Výpočty se zabývá především otázkou existence omezených výpočtů s důrazem na existenci výpočtů omezené délky. Kniha často odkazuje na pojmy a věty z rekurse, studované ve svazku I.
Předmětná hesla
Kniha je zařazena v kategoriích
Katalog předmětový > T > Teorie složitosti
Katalog předmětový > T > Teorie vyčíslitelnosti
Katalog předmětový > A > Algoritmy
Katalog vybraných autorů > Č > Černý – Michal Černý
Katalog nakladatelství > P > Professional Publishing
Michal Černý - další tituly autora:
(e-book)

Černý, Michal
Cena: 298 Kč
Ke knize "Výpočty" doporučujeme také: