Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Logical Foundations of Proof Complexity

Limba englezăengleză
Carte Carte broșată
Carte Logical Foundations of Proof Complexity Stephen Cook
Codul Libristo: 02432148
Editura Cambridge University Press, martie 2014
This book treats bounded arithmetic and propositional proof complexity from the point of view of com... Descrierea completă
? points 217 b
468.38 lei
În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Hafenmanöver Schritt für Schritt - mit dem Motorboot Christian Tiedt / Carte Carte broșată
common.buy 119.29 lei
Nejsem jenom sestra: Má práce a život v Saúdské Arábii Hana Šlechtová / Carte Carte broșată
common.buy 54.15 lei
Caravelle CM1 - Cahier élève 2023 NOIZET / Carte Carte
common.buy 56.74 lei
Spánek a sny Josef Hrdlička / Carte Foaie
common.buy 55.60 lei
Kleines Einhorn Funkelstern. Vorlesegeschichten (3) von magischen Abenteuern Marina Krämer / Carte Copertă tare
common.buy 70.72 lei
?QUIÉN ERES TÚ Y QUÉ HACES AQUÍ? El libro de iO Jesús Yanes / Carte Carte broșată
common.buy 95.78 lei
Tajemnice XX wieku. Ludzie, sensacje, wydarzenia Krzysztof Bochus / Carte Copertă tare
common.buy 56.53 lei
Berserk: Ultimative Edition John Schmitt-Weigand / Carte Carte broșată
common.buy 91.43 lei
Objevujeme úžasný svět Věda není nuda / Carte Carte broșată
common.buy 41.00 lei
Pinki & Emil Denise Schenk / Carte Carte broșată
common.buy 42.86 lei
Top
Fotbalová válka Ryszard Kapuściński / Carte Carte broșată
common.buy 91.85 lei
Anaxagorás Zdeněk Kratochvíl / Carte Carte broșată
common.buy 50.42 lei
Top
Alternativy (dějin) filosofie Zdeněk Kratochvíl / Carte Carte broșată
common.buy 74.35 lei
Genji Monogatari to Ongaku Yoshio Yamada / Carte Carte broșată
common.buy 147.25 lei
Leftin
Livro para Colorir de Pinguins 2 Nick Snels / Carte Carte broșată
common.buy 31.57 lei
KGI - Stählerne Gefahr Maya Banks / Carte Carte broșată
common.buy 47.63 lei
Hiszpańska Gramatyka obrazkowa w ćwiczeniach Opracowanie zbiorowe / Carte Carte broșată
common.buy 62.54 lei
PRINCESA Princesas / Carte Carte
common.buy 21.53 lei
Russian for Advanced Learners - Russkii Iazyk dlia prodvinutykh K. Rogova / Carte Carte broșată
common.buy 307.56 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logical Foundations of Proof Complexity
Autor Stephen Cook, Phuong Nguyen
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 496
EAN 9781107694118
ISBN 1107694116
Codul Libristo 02432148
Editura Cambridge University Press
Greutatea 76
Dimensiuni 156 x 234 x 28

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Logical Foundations of Proof Complexity Stephen Cook / Carte Copertă tare
common.buy 793.14 lei
Proof Complexity KRAJ EK JAN / Carte Copertă tare
common.buy 999.53 lei
Curând
Introduction to Goedel's Theorems Peter Smith / Carte Carte broșată
common.buy 196.03 lei
Subsystems of Second Order Arithmetic Stephen G. Simpson / Carte Carte broșată
common.buy 387.30 lei
Linguistics: The Cambridge Survey: Volume 2, Linguistic Theory: Extensions and Implications Frederick J. Newmeyer / Carte Carte broșată
common.buy 305.80 lei
Arithmetic, Proof Theory, and Computational Complexity Clote / Carte Copertă tare
common.buy 715.99 lei
Top
Cambridge Companion to Ravel Deborah Mawer / Carte Carte broșată
common.buy 197.58 lei
Kropotkin: 'The Conquest of Bread' and Other Writings Petr Alekseevich Kropotkin / Carte Carte broșată
common.buy 108.00 lei
New Rhetoric, The Chaim Perelman / Carte Carte broșată
common.buy 271.73 lei
Jeremiah Chapters 8-20: Jeremiah, Prophet To The Nations I Made You Jerome Cameron Goodwin / Carte Carte broșată
common.buy 136.48 lei
The Testaments of the Twelve Patriarchs Robert Henry Charles / Carte Carte broșată
common.buy 117.53 lei
A Ticket to the Pennant Mark Holtzen / Carte Copertă tare
common.buy 76.93 lei
Regicide Alain Robbe-Grillet / Carte Carte broșată
common.buy 54.36 lei
Walden and Maybrook Marc Newman / Carte Carte broșată
common.buy 108.93 lei
Flashes of Splashes: A Flash Fiction Collection Elizabeth McCleary / Carte Carte broșată
common.buy 46.80 lei
Common Grounds (Alex in Onederland, Book 1) Lillianna Blake / Carte Carte broșată
common.buy 71.55 lei
A Girl On A Train: A Silent Scream James Corbett / Carte Carte broșată
common.buy 76.31 lei
Alternating Current Generators: Quick Book A Bhatia / Carte Carte broșată
common.buy 71.55 lei
ASP.NET MVC with Entity Framework and CSS Lee Naylor / Carte Carte broșată
common.buy 464.97 lei
Integrating Relational Psychoanalysis and EMDR Hemda Arad / Carte Carte broșată
common.buy 323.09 lei
Revolutionary War Veterans, Chenango County, New York, Volume I, A-B Nelson B Tiffany / Carte Carte broșată
common.buy 137.10 lei
The Bitter Kingdom Rae Carson / Carte Carte broșată
common.buy 67.72 lei
Phenomena Annie Jacobsen / Carte Copertă tare
common.buy 240.25 lei
Terimon Prime Featuring the Warriors of Palacion' Alan Spencer / Carte Copertă tare
common.buy 138.03 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?