Hasta 50% off y Envío a todo USA y PR por solo $2.99  Ver más

Enviar a
FL
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Solving Higher-Order Equations: From Logic to Programming (en Inglés)
Formato
Libro Físico
Autor
Editorial
Idioma
Inglés
N° páginas
188
Encuadernación
Tapa Blanda
Dimensiones
23.4 x 15.6 x 1.1 cm
Peso
0.29 kg.
ISBN13
9781461272786
Categorías

Solving Higher-Order Equations: From Logic to Programming (en Inglés)

Christian Prehofer (Autor) · Birkhauser · Tapa Blanda

Solving Higher-Order Equations: From Logic to Programming (en Inglés) - Prehofer, Christian

Libro Nuevo Origen: Estados Unidos
Envío: 7 a 9 días háb.
$ 109.99$ 93.49
-15%
Libro Nuevo

Quedan más de 100 unidades

$ 93.49
Llega entre el 22 Jul y el 28 Jul a FL. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Solving Higher-Order Equations: From Logic to Programming (en Inglés)"

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.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes