Dlina wychisleniq programm
Versandkostenfrei!
Versandfertig in 6-10 Tagen
34,99 €
inkl. MwSt.
PAYBACK Punkte
17 °P sammeln!
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.
Andere Kunden interessierten sich für
