Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Logical Foundations of Proof Complexity

Name: Logical Foundations of Proof Complexity
Brand: Cambridge University Press
SKU: 04092227
Price: 145.22 EUR
Availability: InStock
Author: Stephen Cook
ISBN: 9780521517294

Stephen Cook

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 04092227

Uitgeverij Cambridge University Press, januari 2010

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

Libristo-code: 04092227

351 b

145.22 €

In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Grammaire Progressive du français Maïa Grégoire

Gebonden (paperback)

31.44 €

DISNEY - Mes Coloriages Magiques Mystères - Spécial Pixels

Gebonden (paperback)

10.41 €

Lesebuch John Meisser

Gebonden (paperback)

10.91 €

Aufstieg und Fall der Mätresse im Europa des 18. Jahrhunderts Thomas Kuster

Gebonden (paperback)

40.44 €

Boribon rajzol Marék Veronika

Gebonden (harde band)

7.47 €

Einf hrung in Grundbegriffe Und Grundfragen Der Erziehungswissenschaft Heinz-Hermann Krüger

Gebonden (paperback)

33.16 €

Circo, o Losantos

Gebonden (harde band)

13.14 €

Kunstdenkmaler des christlichen Mittelalters in den Rheinlanden Ernst Ausm Weerth

Gebonden (paperback)

15.26 €

Politische Profile Leo Trotzki

Gebonden (paperback)

16.98 €

Hell Divers - Buch 3 Michael Krug

Gebonden (harde band)

19.41 €

Top Secret - Die Ultimative Offshore Bibel Dr. Goldmann

Gebonden (paperback)

20.93 €

Panorama francouzské literatury od počátku po současnost Jiří Šrámek

Gebonden (harde band)

30.53 €

Los Hombres Me Explican Cosas Rebecca Solnit

Gebonden (paperback)

10.61 €

L'Enterprise Risk Management et sa mise en place Mohamed Lamine Hammaz

Gebonden (paperback)

55.11 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logical Foundations of Proof Complexity

Auteur Stephen Cook

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2010

Aantal pagina's 496

EAN 9780521517294

ISBN 052151729X

Libristo-code 04092227

Uitgeverij Cambridge University Press

Gewicht 940

Afmetingen 156 x 234 x 32

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger