1.449,00 DKK
+ 58,49 DKK Levering

Logic and Complexity

  • Brand: Unbranded
Sоlgt af:

Logic and Complexity

  • Brand: Unbranded

1.449,00 DKK

På lager
+ 58,49 DKK Levering

14-dages returpolitik

Sоlgt af:

1.449,00 DKK

På lager
+ 58,49 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

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. Language: English
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2012/10/08
  • Kunstner: Richard Lassaigne
  • Sprog: English
  • Antal sider: 361
  • Fruugo ID: 337867479-741526761
  • ISBN: 9781447110521

Levering og returnering

Sendt inden for 4 dage

  • STANDARD: 58,49 DKK - Levering mellem kl tir. 10 februar 2026–fre. 13 februar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik