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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!