Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497) - Couverture souple
Synopsis
Discover a state-of-the-art theory aiming to construct hard propositional tautologies needed to solve the NP vs. coNP problem.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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).
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Proof Complexity Generators: Series Number 497 (London...
Image d'archives
Proof Complexity Generators
Edité par
Cambridge University Press, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 49380939-n
Acheter neuf
EUR 52,85
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Proof Complexity Generators (Paperback)
Edité par
Cambridge University Press, Cambridge, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9781009611701
Acheter neuf
EUR 55,18
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof Complexity Generators
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FM-9781009611701
Acheter neuf
EUR 55,25
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image fournie par le vendeur
Proof Complexity Generators
Edité par
Cambridge University Press, GB, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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 réf. du vendeur LU-9781009611701
Acheter neuf
EUR 56,32
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Proof Complexity Generators
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur FM-9781009611701
Acheter neuf
EUR 52,03
Expédition à EUR 4,80
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Proof Complexity Generators
Edité par
Cambridge University Press, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 49380939
Acheter D'occasion
EUR 55,37
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Edité par
Cambridge University Press, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9781009611701
Acheter neuf
EUR 61,89
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
PROOF COMPLEXITY GENERATORS
Edité par
Cambridge University Press, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Couverture souple
Vendeur : Speedyhen LLC, Hialeah, FL, Etats-Unis
Évaluation du vendeur 2 sur 5 étoiles
Etat : NEW. N° de réf. du vendeur NWUS9781009611701
Acheter neuf
EUR 61,98
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Proof Complexity Generators
Edité par
Cambridge University Press, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-318074
Acheter neuf
EUR 63,96
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Proof Complexity Generators (London Mathematical Society Lecture Note Series, Series Number 497)
Edité par
Cambridge University Press, 2025
ISBN 10 : 1009611704
ISBN 13 : 9781009611701
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9781009611701_new
Acheter neuf
EUR 51,85
Expédition à EUR 13,83
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 5 disponible(s)