|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Proof Complexity (Hardcover)
Loot Price: R4,174
Discovery Miles 41 740
|
|
|
Proof Complexity (Hardcover)
Series: Encyclopedia of Mathematics and its Applications
Expected to ship within 12 - 19 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
