{"product_id":"solving-higher-order-equations-from-logic-to-programming-von-christian-prehofer","title":"Solving Higher-Order Equations","description":"This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order logic provides the necessary level of abstraction for con cise and natural formulations. The main assets of higher-order logic are quan tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781461272786\"\u003e\u003ch3\u003eFrom Logic to Programming\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780817640323\"\u003e\u003ch3\u003eFrom Logic to Programming\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781461272786","offer_id":39415743742045,"sku":"9781461272786","price":106.99,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9780817640323","offer_id":50705153734,"sku":"9780817640323","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2026f9b2-1a83-4ee6-a1a2-61f2c7aebd0f.jpg?v=1774674816","url":"https:\/\/shop.autorenwelt.de\/en\/products\/solving-higher-order-equations-from-logic-to-programming-von-christian-prehofer","provider":"Autorenwelt Shop","version":"1.0","type":"link"}