🚚 Doprava ZADARMO pre všetky objednávky nad 59 €.
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... čítať viac
EUR
Nedostupné
Michal Černý
EUR
EUR
Michal Černý
EUR
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.
9788074310492
Professional Publishing
2011
CZ Český jazyk
pevná
421930
Hodnotenie a komentár môže pridať iba prihlásený používateľ.
Zatiaľ nikto nepridal hodnotenie ani komentár k tejto knihe.
Vytvorené na Slovensku pre všetkých knihomoľov. 📚
© 2021-2026 www.tulaveknizky.sk
Nenašli ste odpoveď alebo potrebujete s niečim pomôcť alebo poradiť?
Napíšte nám na ahoj@tulaveknizky.sk
Zatiaľ tu nie sú žiadne hodnotenia ani komentáre.