Merkzettel Warenkorb
  • Produktbild: Proof Complexity
  • Produktbild: Proof Complexity

Proof Complexity

219,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.03.2019

Verlag

Cambridge Academic

Seitenzahl

530

Maße (L/B/H)

24/16,1/3,6 cm

Gewicht

910 g

Sprache

Englisch

ISBN

978-1-108-41684-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

28.03.2019

Verlag

Cambridge Academic

Seitenzahl

530

Maße (L/B/H)

24/16,1/3,6 cm

Gewicht

910 g

Sprache

Englisch

ISBN

978-1-108-41684-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
Die Leseprobe wird geladen.
  • Produktbild: Proof Complexity
  • Produktbild: Proof Complexity
  • Introduction; Part I. Basic Concepts: 1. Concepts and problems; 2. Frege systems; 3. Sequent calculus; 4. Quantified propositional calculus; 5. Resolution; 6. Algebraic and geometric proof systems; 7. Further proof systems; Part II. Upper Bounds: 8. Basic example of the correspondence between theories and proof systems; 9. Two worlds of bounded arithmetic; 10. Up to EF via the <...> translation; 11. Examples of upper bounds and p-simulations; 12. Beyond EF via the || ... || translation; Part III. Lower Bounds: 13. R and R-like proof systems; 14. {LK}_{d + 1/2} and combinatorial restrictions; 15. F_d and logical restrictions; 16. Algebraic and geometric proof systems; 17. Feasible interpolation: a framework; 18. Feasible interpolation: applications; Part IV. Beyond Bounds: 19. Hard tautologies; 20. Model theory and lower bounds; 21. Optimality; 22. The nature of proof complexity; Bibliography; Special symbols; Index.