• Produktbild: Bounded Arithmetic, Propositional Logic and Complexity Theory
  • Produktbild: Bounded Arithmetic, Propositional Logic and Complexity Theory

Bounded Arithmetic, Propositional Logic and Complexity Theory

195,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

08.04.2004

Herausgeber

G.-C Rota + weitere

Verlag

Cambridge Academic

Seitenzahl

360

Maße (L/B/H)

23,5/15,7/2,6 cm

Gewicht

650 g

Sprache

Englisch

ISBN

978-0-521-45205-2

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

08.04.2004

Herausgeber

Verlag

Cambridge Academic

Seitenzahl

360

Maße (L/B/H)

23,5/15,7/2,6 cm

Gewicht

650 g

Sprache

Englisch

ISBN

978-0-521-45205-2

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)

  • Produktbild: Bounded Arithmetic, Propositional Logic and Complexity Theory
  • Produktbild: Bounded Arithmetic, Propositional Logic and Complexity Theory
  • 1. Introduction; 2. Preliminaries; 3. Basic complexity theory; 4. Basic propositional logic; 5. Basic bounded arithmetic; 6. Definability of computations; 7. Witnessing theorems; 8. Definability and witnessing in second order theories; 9. Translations of arithmetic formulas; 10. Finite axiomatizability problem; 11. Direct independence proofs; 12. Bounds for constant-depth Frege systems; 13. Bounds for Frege and extended Frege systems; 14. Hard tautologies and optimal proof systems; 15. Strength of bounded arithmetic; References; Index.