
Bounded Arithmetic, Propositional Logic and Complexity Theory
1 577 kr
1 577 kr
Ons, 30 jul - tis, 5 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area.
Artikel.nr.
f2a5940e-fd71-485d-8b9e-be2438049247
Bounded Arithmetic, Propositional Logic and Complexity Theory
1 577 kr
1 577 kr
Ons, 30 jul - tis, 5 aug
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare

3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr

POP MART Labubu The Monsters Big Into Energy Series Figures Vinyl Plush Pendant Blind Box
499 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-VÄTSKA
382 kr

Apple AirPods 4 Active Noise Cancellation Wireless In-ear
2 086 kr

PlayStation 5 Slim Digital Edition (PS5)
5 884 kr
Tidigare lägsta pris:
6 589 kr

Apple AirPods 4 Wireless In-ear
1 578 kr

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr

Lattafa Angham EDP 100 ml
493 kr
Tidigare lägsta pris:
635 kr

PÅFYLLNINGSSATS FÖR LUFTKONDITIONERING R134A-MEDEL 2 X GAS
488 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr
Rekommendationer för dig

INF Öronkuddar för Bose QC35 I/II, QC25, QC15, QC 2 AE 2, AE 2i, AE 2w, SoundTrue, SoundLink
79 kr
Tidigare lägsta pris:
99 kr

Pocket Scale, Digitalvåg i fick format, Smyckes våg 0,01 - 200g
79 kr

Playstation 5 DualSense Controller Midnight Black
794 kr

Sony PlayStation DualSense - White (PS5)
799 kr

Trådlös CarPlay adapter 2025 - En smart och modern lösning för din bil
219 kr
Tidigare lägsta pris:
295 kr

2-Pack - Xiaomi Däck med Verktyg - Punkteringsfritt / Elscooter
249 kr
Tidigare lägsta pris:
269 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr

Malibu Fast Tanning Bronzing Butter with Beta Carotene 300ml
139 kr

Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr

Usb-c till Lightning-kabel (3 m)
59 kr
Tidigare lägsta pris:
79 kr