Solving Higher-Order Equations

Name: Solving Higher-Order Equations
Brand: Springer, Basel
SKU: 9781461272786
Price: 105.41 EUR
Availability: InStock

From Logic to Programming

Автор: Christian Prehofer

Език:

Корици: С меки корици

Издател: Springer, Basel

Наличност: Външен склад

Изпращаме след 5-8 дни

105.41 € 206.16 лв

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expres...

Информация за книгата

Автор

Christian Prehofer

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

188

EAN

9781461272786

ISBN

1461272785

Enbook ID

02232796

Издател

Springer, Basel

Теглоt

320

Размери

155 x 235 x 11

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Solving Higher-Order Equations

From Logic to Programming

Информация за книгата

Пълно описание

Може също да ви хареса

Meeting God in Scripture: A Hands-On Guide to Lectio Divina

Storm King Comics Dark & Twisted

Royalty University: Living the "Infinitely More Life" in Christ

U.S. Strategy to the Korean Peninsula

Rhythm of War

Letting Go: Shawna's Story

King's New Robe

Jorge Quiere Cortarse El Pelo- George's Hair Is Too Long

Cat & Dog Theology

Theologico-Political Treatise - Part 1

Africana Theory, Policy, and Leadership

Fire Insurance Cases

Painted Faces

90s' Currency Crises

Cathodic Protection Systems for Civil Works Structures

Digital Transformation of the Public Sphere

Quiet and Peaceable Life

Клиенти, които купиха тази книга, купиха също

Tabu

INTENTOS ESPIRITUALES-- AL LADO DE ANTONIO SOSA

Versicherungsenzyklopadie

probabilistische Revolution in der Literatur

Schamanismus der Seele