překlad: Karel Čulík, Toňa Hrušková
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 a ...
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.
číst celou anotaci
nakladatel: Academia
vydána: 1968, Praha, 1. vydání
vazba: vázaná, 285 stran
jazyk: čeština
(OCoLC): 42177000