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.
Pokračovanie úspešnej trilógie Pán Prsteňov, v ktorom sa zavŕši
príbeh putovania hobita Froda k Puklinám osudu a vojny, ktorá
zavládla v Stredozemi. Knihu preložil Otakar Kořínek.
Stále hľadáte nejaké knihy on-line a už Vás nebaví prechádzať všetky e-shopy?
Nájdite všetky knihy, ktoré si chcete kúpiť. Pridajte si ich do košíka a nechajte nás, aby sme porovnali ceny a dostupnosť e-shopov s knihami a zobrazili Vám tie najvýhodnejšie ponuky!
Potom už stačí len prejsť do vybraného e-shopu a knihy si objednať...