Dostupnost: | Vyprodáno |
Vazba: | Pevná s obálkou |
Počet stran: | 285 |
Jazyky: | česky |
Překladatel: | Karel Čulík, Toňa Hrušková |
Vydání: | 1 |
Vydáno v: | Praha |
Vystaveno: | st 31. května 2017 17:01 |
Číslo položky: | 12338 |
Východiskem autorových úvah je definice abstraktní abecedy, kladné délky slov, prázdného slova a slova nad latinskou abecedou. Poté dospívá autor - opíraje se o pojmy Booleovy algebry - k teorii automatů a sebeorganizujících soustav, osvětluje samočinné univerzální počítače i programování na nich a popisuje algoritmický jazyk Algol 60. Závěrečná kapitola je věnována predikátovému počtu, sestrojení formální aritmetiky, Gödelovým teoriím a problému automatizace vědecké tvůrčí práce.
Objednávkám nad 699 Kč
Sběratelské kusy i knižní novinky
A s radostí
Za hotové a s vlastním odvozem