Knihy
E-knihy

Výpočty

Svazek I.

Nakladatel
Professional Publishing, 2011
1. díl série
Výpočty

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, ...

Čti víc

430 Kč

Běžná cena Běžně 506 Kč

Ušetříte 15%

Posíláme do čtyř dní

Proč nakupovat na Martinus.cz?
  • poštovné zdarma k objednávkám od 999 Kč
  • více než 1500 výdejních míst
  • dárek ke každému nákupu

Doporučené tituly a kolekce

Více o knize

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.
Čti víc
Kupte společně
Výpočty - Michal Černý
Osvětimská ukolébavka - Mario Escobar
709 Kč
Ušetříte 146 Kč
Našli jste v našem obsahu nějaké nepřesnosti?
Dejte nám o tom vědět.

Máte o knize více informací než je na této stránce nebo jste našli chybu? Budeme vám velmi vděční, když nám pomůžete s doplněním informací na našich stránkách.

Počet stran
340
Hmotnost
750 g
Rok vydání
2011
Vazba
pevná vazba
Jazyk
český
Nakladatelství
Professional Publishing
Rozměr
176×250 mm
ISBN
9788074310492
Naše katalogové číslo
117615

Recenze

Jak se vám kniha líbila?

Čti víc
Kupte společně
Výpočty - Michal Černý
Osvětimská ukolébavka - Mario Escobar
709 Kč
Ušetříte 146 Kč

„Přátelé jsou lidé, kteří si mohou půjčovat moje knihy a stavět na ně mokré sklenice.“

Robinson Jeffers