Logical Foundations of Proof Complexity

Name: Logical Foundations of Proof Complexity
Brand: Cambridge University Press
SKU: 9781107694118
Price: 83.38 EUR
Availability: InStock

Автор: Stephen Cook, Phuong Nguyen

Език:

Корици: С меки корици

Издател: Cambridge University Press

Наличност: Външен склад

Изпращаме след 9-15 дни

83.38 € 163.08 лв

This book treats bounded arithmetic and propositional proof complexity from the point of view of com...

Информация за книгата

Автор

Stephen Cook, Phuong Nguyen

Език

Английски език

Корици

Книга - С меки корици

Издадена

2014

страници

496

EAN

9781107694118

ISBN

1107694116

Enbook ID

02432148

Издател

Cambridge University Press

Теглоt

Размери

156 x 234 x 28

Пълно описание

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Logical Foundations of Proof Complexity

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също