Vvoditsya obobshchenie propozitsional'nogo yazyka, pozvolyayushchee predstavlyat' vse vychislimye funktsii i arifmeticheskie programmy. Etot yazyk polezen pri analize vychislitel'nykh kharakteristik arifmeticheskikh programm. V chastnosti, pokazyvaetsya, chto funktsii arifmetiki Presburgera vychislimy za lineynoe vremya, a dlina vychisleniya arifmeticheskoy programmy opredelyaetsya moshchnost'yu faktor-mnozhestva otnosheniya ekvivalentnosti chastichnykh oznachivaniy vkhoda programmy. Tem samym udaetsya svyazat' slozhnost' vychisleniya programmy s vidom vychislyaemoy eyu funktsii.

Po mere razvitiya tsivilizatsii zatraty na obuchenie postoyanno uvelichivayutsya, odnako, ne poluchaya konechnogo produkta v tekh zhe proportsiyakh. Osobenno eto stalo zametno s povsemestnoy informatizatsiey obshchestva, t.k. obrazovatel'nye protsessy uzhe ne pospevayut za razvitiem tekhnologiy. V rezul'tate otnositel'no neobrazovannykh stanovitsya vse bol'she, a otnositel'no obrazovannykh, estestvenno, men'she. Avtory, takzhe obespokoeny etim yavleniem, i poetomu vyskazyvayut svoe mnenie kak vyyti iz etogo porochnogo kruga. Kniga osnovana na real'nom opyte avtorov, aktivno vklyuchennykh v...