Dostupnost: | Vyprodáno |
Vazba: | Pevná s obálkou |
Počet stran: | 288 |
Jazyky: | česky |
Překladatel: | Karel Čulík, Toňa Hrušková |
Vydání: | 1. vyd. |
Vydáno v: | Praha |
Vystaveno: | út 13. června 2023 11:12 |
Číslo položky: | 570644 |
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