Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic and Complexity
  • Produktbild: Logic and Complexity

Logic and Complexity

Aus der Reihe Discrete Mathematics and Theoretical Computer Science

156,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.10.2012

Abbildungen

X, 361 p.

Verlag

Springer London

Seitenzahl

361

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

569 g

Auflage

Softcover reprint of the original 1st edition 2004

Sprache

Englisch

ISBN

978-1-4471-1052-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.10.2012

Abbildungen

X, 361 p.

Verlag

Springer London

Seitenzahl

361

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

569 g

Auflage

Softcover reprint of the original 1st edition 2004

Sprache

Englisch

ISBN

978-1-4471-1052-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Logic and Complexity
  • Produktbild: Logic and Complexity
  • 1. Basic model theory and computability.- 1. Propositional logic.- 2. Deduction systems.- 3. First-order logic.- 4. Completeness of first order logic.- 5. Models of computation.- 6. Recursion and decidability.- 7. Incompleteness of Peano arithmetic.- 2. Descriptive Complexity.- 8 Complexity: time and space.- 9. First-order definability.- 10. Inductive definitions and second-order logic.- 11. Time complexity : the classes P and NP.- 12. Models of parallel computations.- 13. Space complexity: the classes L, FL, NL and PSPACE.- 14. Definability of optimization and counting problems.- 3. Approximation and classes beyond NP.- 15. Probabilistic Classes.- 16. Probabilistic verification.- 17. Approximation.- 18. Classes beyond NP.- List of Figures.