{"product_id":"teoriq-funkcionalnyh-programm-von-andrej-mironow","title":"Teoriq funkcional'nyh programm","description":"\u003cp\u003eV knige rassmatriwaütsq matematicheskie modeli i metody analiza funkcional'nyh programm. Osnownoe wnimanie udeleno teorii funkcij, wychislqemyh fukcional'nymi programmami (äti funkcii nazywaütsq naimen'shimi nepodwizhnymi tochkami funkcional'nyh programm). Takzhe izlagaütsq osnownye metody werifikacii funkcional'nyh programm: metod wychislitel'noj indukcii i metod strukturnoj indukcii. V knige soderzhitsq bol'shoe kolichestwo zadach na dokazatel'stwo razlichnyh swojstw funkcij, wychislqemyh funkcional'nymi programmami. Kniga prednaznachena dlq studentow wysshih uchebnyh zawedenij, obuchaüschihsq po special'nostqm \"teoreticheskie osnowy informatiki\" i \"informacionnaq bezopasnost'\". Takzhe ona predstawlqet interes dlq specialistow w dannyh oblastqh.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659579875\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659579875","offer_id":39434296524893,"sku":"9783659579875","price":71.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/34794d52-a73a-4c10-8ccd-97e63e77543f.jpg?v=1772777444","url":"https:\/\/shop.autorenwelt.de\/en\/products\/teoriq-funkcionalnyh-programm-von-andrej-mironow","provider":"Autorenwelt Shop","version":"1.0","type":"link"}