Výpočty (2012)
Autor: Černý Michal
Vydavateľstvo: Professional Publishing
Bežná cena knihy: | 21,29 € |
---|---|
Naša cena: | 20,23 € |
(zľava 5 %) |
Vypredané
Informácie 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.
Zaradené v
Podrobnosti
- Počet strán: 404
- Formát: 170 × 245 mm
- Väzba: pevná
- ISBN: 978-80-7431-068-3
- Rok vydania: 2012
- Jazyk: český
- EAN: 9788074310683