60% OFF en Stock Limitado  Ver más

Enviar a
Quito, Pichincha
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 Proof Complexity (Encyclopedia of Mathematics and its Applications) (en Inglés)
Formato
Libro Físico
Autor
Editorial
Año
2019
Idioma
Inglés
N° páginas
530
Encuadernación
Tapa Dura
Dimensiones
24.1x16.5x2.8 cm
Peso
0.73 kg.
ISBN13
9781108416849
N° edición
1
Categorías

Proof Complexity (Encyclopedia of Mathematics and its Applications) (en Inglés)

Jan Krajíček (Autor) · Cambridge University Press · Tapa Dura

Proof Complexity (Encyclopedia of Mathematics and its Applications) (en Inglés) - Krajíček, Jan

Libro Nuevo Importado
Envío: 20 a 27 días háb.
$ 452.89$ 226.44
-50%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 226.44
Llega entre el 21 Sep y el 02 Oct a Quito, Pichincha. 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 "Proof Complexity (Encyclopedia of Mathematics and its Applications) (en Inglés)"

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject.

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 Dura.

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