ISBN-13: 9783846513118 / Rosyjski / Miękka / 2014 / 168 str.
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.
Vvoditsya obobshchenie propozitsionalnogo yazyka, pozvolyayushchee predstavlyat vse vychislimye funktsii i arifmeticheskie programmy. Etot yazyk polezen pri analize vychislitelnykh kharakteristik arifmeticheskikh programm. V chastnosti, pokazyvaetsya, chto funktsii arifmetiki Presburgera vychislimy za lineynoe vremya, a dlina vychisleniya arifmeticheskoy programmy opredelyaetsya moshchnostyu faktor-mnozhestva otnosheniya ekvivalentnosti chastichnykh oznachivaniy vkhoda programmy. Tem samym udaetsya svyazat slozhnost vychisleniya programmy s vidom vychislyaemoy eyu funktsii.