In the sale you will find especially cheap items or current promotions.
Want to part with books, CDs, movies or games? Sell everything on momox.com
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.