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.
Deviaty zväzok edície Dejiny Slovenska vpríbehoch
adesiatich zväzkoch. Rozpráva oporážke Osmanov
avyhnaní posledného Turka zo Slovenska. Na pozadí osmanských
vojen rozpráva dejiny stavovských povstaní. Kniha je štvorfarebná
abohato ilustrovaná farebnými fotografiami
ačiernobielymi historickými grafikami.
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ť...