Proof Complexity Image close
Proof Complexity on Hardback by Jan Krajicek
Proof Complexity on Hardback by Jan Krajicek
Show Hide Adult Content
Proof Complexity close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Proof Complexity

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$407.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $102.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Encyclopedia of Mathematics and Its Applications

See all products in this series

Aggregation Functions on Hardback by Michel Grabisch
$406.99
Aggregation Functions
by Michel Grabisch ~ Hardback
Available - Usually ships in 3-4 weeks
Relational Mathematics on Hardback by Gunther Schmidt
$299.99
Relational Mathematics
by Gunther Schmidt ~ Hardback
Available - Usually ships in 3-4 weeks
Boolean Functions on Hardback by Yves Crama
$465.99
Boolean Functions
by Yves Crama ~ Hardback
Available - Usually ships in 3-4 weeks
Semimodular Lattices by Manfred Stern
$157.99
Semimodular Lattices
by Manfred Stern ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Semimodular Lattices on Hardback by Manfred Stern
$361.99
Semimodular Lattices
by Manfred Stern ~ Hardback
Available - Usually ships in 3-4 weeks
Lattice Sums Then and Now on Hardback by M. L. Glasser
$360.99
Lattice Sums Then and Now
by M. L. Glasser ~ Hardback
Available - Usually ships in 3-4 weeks
The Foundations of Mathematics in the Theory of Sets on Hardback by John P. Mayberry
$361.99
The Foundations of Mathematics in the Theory of Sets
by John P. Mayberry ~ Hardback
Available - Usually ships in 3-4 weeks
Model Theory on Hardback by Wilfrid Hodges
$670.99
Model Theory
by Wilfrid Hodges ~ Hardback
Available - Usually ships in 3-4 weeks
The Foundations of Mathematics in the Theory of Sets by John P. Mayberry
$189.99
The Foundations of Mathematics in the Theory of Sets
by John P. Mayberry ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Continuous Lattices and Domains on Hardback by M. Mislove
$625.99
Continuous Lattices and Domains
by M. Mislove ~ Hardback
Available - Usually ships in 3-4 weeks
Model Theory by Wilfrid Hodges
$216.99
Model Theory
by Wilfrid Hodges ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Bounded Arithmetic, Propositional Logic and Complexity Theory on Hardback by Jan Krajicek
$359.99
Bounded Arithmetic, Propositional Logic and Complexity Theory
by Jan Krajicek ~ Hardback
Available - Usually ships in 3-4 weeks
Comparison of Statistical Experiments on Hardback by Erik Torgersen
$637.99
Comparison of Statistical Experiments
by Erik Torgersen ~ Hardback
Available - Usually ships in 3-4 weeks
The Theory of Information and Coding on Hardback by R.J. McEliece
$254.99
The Theory of Information and Coding
by R.J. McEliece ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Categorical Algebra: Volume 2, Categories and Structures on Hardback by Francis Borceux
$559.99
Handbook of Categorical Algebra: Volume 2, Categories and Structures
by Francis Borceux ~ Hardback
Available - Usually ships in 3-4 weeks
Solving Polynomial Equation Systems I on Hardback by Teo Mora
$507.99
Solving Polynomial Equation Systems I
by Teo Mora ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.

Author Biography:

Jan Krajíček is Professor of Mathematical Logic in the Faculty of Mathematics and Physics at Charles University, Prague. He is a member of the Academia Europaea and of the Learned Society of the Czech Republic. He has been an invited speaker at the European Congress of Mathematicians and at the International Congresses of Logic, Methodology and Philosophy of Science.
Release date Australia
March 28th, 2019
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
530
Dimensions
161x241x33
ISBN-13
9781108416849
Product ID
28279629

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Jan Krajicek

See all books by this author

Forcing with Random Variables and Proof Complexity by Jan Krajicek
$154.99
Forcing with Random Variables and Proof Complexity
by Jan Krajicek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Bounded Arithmetic, Propositional Logic and Complexity Theory on Hardback by Jan Krajicek
$359.99
Bounded Arithmetic, Propositional Logic and Complexity Theory
by Jan Krajicek ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence