Data & IT

Dlina Vychisleniya Programm

Popov Sergey • Broshkova Natal'Ya

Pocket

949:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

168 sidor
2014

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.

Författare: Popov Sergey, Broshkova Natal'Ya
Format: Pocket/Paperback
ISBN: 9783846513118
Språk: Engelska
Antal sidor: 168
Utgivningsdatum: 2014-02-04
Förlag: LAP Lambert Academic Publishing