Artículos relacionados a Proof Complexity Generators: Series Number 497 (London...
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497) - Tapa blanda
Sinopsis
The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Jan Krajíček is Professor of Mathematical Logic at Charles University, Prague. A member of the Learned Society of the Czech Republic and the Academia Europaea, he has previously published three books with Cambridge University Press (1995, 2011 and 2019).
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Proof Complexity Generators: Series Number 497 (London...
Imagen de archivo
Proof Complexity Generators
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 49380939-n
Comprar nuevo
EUR 54,89
Envío por EUR 2,28
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Proof Complexity Generators
Publicado por
Cambridge University Press, GB, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research. Nº de ref. del artículo: LU-9781009611701
Comprar nuevo
EUR 57,25
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Proof Complexity Generators
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 49380939
Comprar usado
EUR 55,98
Envío por EUR 2,28
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Proof Complexity Generators
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: L2-9781009611701
Comprar nuevo
EUR 54,05
Envío por EUR 4,84
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781009611701
Comprar nuevo
EUR 62,24
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Proof Complexity Generators
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Tapa blanda
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT25-318074
Comprar nuevo
EUR 63,94
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781009611701_new
Comprar nuevo
EUR 52,25
Envío por EUR 13,94
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Proof Complexity Generators (Paperback)
Publicado por
Cambridge University Press, Cambridge, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. The P vs. NP problem is one of the fundamental problems of mathematics. It asks whether propositional tautologies can be recognized by a polynomial-time algorithm. The problem would be solved in the negative if one could show that there are propositional tautologies that are very hard to prove, no matter how powerful the proof system you use. This is the foundational problem (the NP vs. coNP problem) of proof complexity, an area linking mathematical logic and computational complexity theory. Written by a leading expert in the field, this book presents a theory for constructing such hard tautologies. It introduces the theory step by step, starting with the historic background and a motivational problem in bounded arithmetic, before taking the reader on a tour of various vistas of the field. Finally, it formulates several research problems to highlight new avenues of research. This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9781009611701
Comprar nuevo
EUR 66,84
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Proof Complexity Generators
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 49380939-n
Comprar nuevo
EUR 52,24
Envío por EUR 17,46
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Proof Complexity Generators: 497 (London Mathematical Society Lecture Note Series, Series Number 497)
Publicado por
Cambridge University Press, 2025
ISBN 10: 1009611704
ISBN 13: 9781009611701
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2025. paperback. . . . . . Nº de ref. del artículo: V9781009611701
Comprar nuevo
EUR 66,18
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: 4 disponibles