{"product_id":"dlina-wychisleniq-programm-von-sergej-popow-und-natalq-broshkowa","title":"Dlina wychisleniq programm","description":"\u003cp\u003eVwoditsq obobschenie propozicional'nogo qzyka, pozwolqüschee predstawlqt' wse wychislimye funkcii i arifmeticheskie programmy. Jetot qzyk polezen pri analize wychislitel'nyh harakteristik arifmeticheskih programm. V chastnosti, pokazywaetsq, chto funkcii arifmetiki Presburgera wychislimy za linejnoe wremq, a dlina wychisleniq arifmeticheskoj programmy opredelqetsq moschnost'ü faktor-mnozhestwa otnosheniq äkwiwalentnosti chastichnyh oznachiwanij whoda programmy. Tem samym udaetsq swqzat' slozhnost' wychisleniq programmy s widom wychislqemoj eü funkcii.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783846513118\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783846513118","offer_id":39482518470749,"sku":"9783846513118","price":51.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0231b4a9-1eb4-4c88-bbb9-662187bda7ef.jpg?v=1773383126","url":"https:\/\/shop.autorenwelt.de\/products\/dlina-wychisleniq-programm-von-sergej-popow-und-natalq-broshkowa","provider":"Autorenwelt Shop","version":"1.0","type":"link"}