Name: All about Proofs, Proofs for All (en Inglés)
SKU: 57751183
Price: 31.96 USD
Availability: InStock
Author: Paleo, Bruno Woltzenlogel ; Delahaye, David
ISBN: 9781848901667

portada All about Proofs, Proofs for All (en Inglés)

All about Proofs, Proofs for All (en Inglés)

Formato

Libro Físico

Editorial

College Publications

Autor

Paleo, Bruno Woltzenlogel ; Delahaye, David

Idioma

Inglés

N° páginas

250

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.3 cm

Peso

0.35 kg.

ISBN13

9781848901667

Categorías

Lógica matemática

All about Proofs, Proofs for All (en Inglés)

Paleo, Bruno Woltzenlogel ; Delahaye, David (Autor) · College Publications · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 58.10$ 31.96

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 31.96

Llega entre el 07 Sep y el 17 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "All about Proofs, Proofs for All (en Inglés)"

The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But what is a proof? What makes a proof better than another? How can a proof be found efficiently? How can a proof be used? Logicians from different communities usually provide radically different answers to such questions. Their principles may be folklore within their own communities but are often unknown to outsiders. This book provides a snapshot of the current state of the art in proof search and proof production as implemented in contemporary automated reasoning tools such as SAT-solvers, SMT-solvers, first-order and higher-order automated theorem provers and proof assistants. Furthermore, various trends in proof theory, such as the calculus of inductive constructions, deduction modulo, deep inference, foundational proof certificates and cut-elimination, are surveyed; and applications of formal proofs are illustrated in the areas of cryptography, verification and mathematical proof mining. Experts in these topics were invited to present tutorials about proofs during the Vienna Summer of Logic and the chapters in this book reflect their tutorials. Therefore, each chapter is intended to be accessible not only to experts but also to novice researchers from all fields of Logic.