Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170) - Image 1

£115.46

Cambridge University Press Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Name: Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)
Brand: Cambridge University Press
Price: 105.06 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 23 days • 23 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 23 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £115 (13 days, 56.5%)

Price range: £105 - £115

Price levels: 2 different prices over 23 days

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.

Product Specifications

Brand: Cambridge University Press
Format: Hardcover
ASIN: 1108416845
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 28 March 2019
Listed Since: 30 June 2018

Barcode

No barcode data available

Cambridge University Press Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logical Foundations of Proof Complexity (Perspectives in Logic)

Computational Complexity: A Conceptual Perspective

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

How to Prove It: A Structured Approach

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Computational Complexity: A Modern Approach

Communication Complexity: and Applications

Type Theory and Formal Proof: An Introduction

Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

Computation, Proof, Machine: Mathematics Enters a New Age

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Polynomial Methods and Incidence Theory: 197 (Cambridge Studies in Advanced Mathematics, Series Number 197)

Boolean Models and Methods in Mathematics, Computer Science, and Engineering: 134 (Encyclopedia of Mathematics and its Applications, Series Number 134)

Combinatorics: Topics, Techniques, Algorithms

Cambridge Geometric Regular Polytopes - Series Number 172

Proof and System-Reliability: v. 62 (NATO Science Series II)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 258 (London ... Lecture Note Series, Series Number 258)

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Essays in Classical Number Theory: 217 (Cambridge Studies in Advanced Mathematics, Series Number 217)

A Computational Introduction to Number Theory and Algebra

Proofs 101: An Introduction to Formal Mathematics