Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logical Foundations of Proof Complexity

Name: Logical Foundations of Proof Complexity
Brand: Cambridge University Press
SKU: 02432148
Price: 88.69 EUR
Availability: InStock
Author: Stephen Cook
ISBN: 9781107694118

Stephen Cook

Phuong Nguyen

Sprache

Englisch

Buch Broschur

Libristo-Code: 02432148

Verlag Cambridge University Press, März 2014

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

Libristo-Code: 02432148

217 b

88.69 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Tajemnice XX wieku. Ludzie, sensacje, wydarzenia Krzysztof Bochus

Hardcover

12.09 €

?QUIÉN ERES TÚ Y QUÉ HACES AQUÍ? El libro de iO Jesús Yanes

Broschur

18.09 €

Spánek a sny Josef Hrdlička

Blatt

11.39 €

Nejsem jenom sestra: Má práce a život v Saúdské Arábii Hana Šlechtová

Broschur

10.29 €

Caravelle CM1 - Cahier élève 2023 NOIZET

Buch

11.19 €

Hafenmanöver Schritt für Schritt - mit dem Motorboot Christian Tiedt

Broschur

24.90 €

Berserk: Ultimative Edition John Schmitt-Weigand

Broschur

19.00 €

Objevujeme úžasný svět Věda není nuda

Broschur

8.29 €

Anaxagorás Zdeněk Kratochvíl

Broschur

9.59 €

Fotbalová válka Ryszard Kapuściński

Broschur

18.29 €

Alternativy (dějin) filosofie Zdeněk Kratochvíl

Broschur

14.89 €

Genji Monogatari to Ongaku Yoshio Yamada

Broschur

27.89 €

Livro para Colorir de Pinguins 2 Nick Snels

Broschur

5.99 €

Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh K. Rogova

Broschur

64.89 €

Hiszpańska Gramatyka obrazkowa w ćwiczeniach Opracowanie zbiorowe

Broschur

12.89 €

PRINCESA Princesas

Buch

4.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logical Foundations of Proof Complexity

Autor Stephen Cook, Phuong Nguyen

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 496

EAN 9781107694118

ISBN 1107694116

Libristo-Code 02432148

Verlag Cambridge University Press

Gewicht 76

Abmessungen 156 x 234 x 28

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert