-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%)
Kdy zboží dostanu
ukázka
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)
Digitální informační kurátorství jako univerzální edukační přístupČerný, Michal
Cena: 298 Kč
Ke knize "Výpočty" doporučujeme také:
