{"product_id":"algorithms-in-modern-mathematics-and-computer-science-proceedings-urgench-uzbek-ssr-september-16-22-1979-von-a-p-ershov-d-e-knuth-hrsg","title":"Algorithms in Modern Mathematics and Computer Science","description":"\u003cp\u003eAl-khorezmi his background, his personality his work and his influence.- Algorithms in modern mathematics and computer science.- What are the gains of the theory of algorithms.- On inductive synthesis of programs.- Expanding constructive universes.- The logical approach to programming.- The structural synthesis of programs.- On finding invariant relations of program.- What can we do with problems of exhaustive search?.- The algorithmic complexity of linear algebras.- Algorithms in various contexts.- Role of a notion of algorithm in the arithmetic language semantics.- From logicism to proceduralism (an autobiographical account).- Abstract computability on algebraic structures.- Algorithms and algebra.- On formal transformations of algorithms.- What should we do having proved a decision problem to be unsolvable?.- On the experience of riding two horses in programming.- Church-rosser transformers and decidable propertis of tree processing.- Supplement 1 summaries of oral presentations.- Supplement 2 technical program.- Supplement 3 publications on the symposium.- List of participants.- Supplement 5 photoillustrations.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540111573\"\u003e\u003ch3\u003eProceedings, Urgench, Uzbek SSR September 16-22, 1979\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540111573","offer_id":39426485289053,"sku":"9783540111573","price":37.44,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/583c0f37-a8fa-419a-b6b6-80e2302ad115.jpg?v=1773554388","url":"https:\/\/shop.autorenwelt.de\/en\/products\/algorithms-in-modern-mathematics-and-computer-science-proceedings-urgench-uzbek-ssr-september-16-22-1979-von-a-p-ershov-d-e-knuth-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}