Logic and Complexity

1 999,00 kr
+ 87,49 kr Leverans
  • product image

Logic and Complexity

  • Märke: Unbranded
Säljs av:

Logic and Complexity

  • Märke: Unbranded

1 999,00 kr

I lager
+ 87,49 kr Leverans

14-dagars returpolicy

Säljs av:

1 999,00 kr

I lager
+ 87,49 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Richard Lassaigne
  • Format: Paperback
  • Publiceringsdatum: 2012/10/08
  • Sidantal: 361
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337867479-741526761
  • ISBN: 9781447110521

Leverans och returer

Skickas inom 4 dagar

  • STANDARD: 87,49 kr - Leverans mellan kl tors 22 januari 2026–tis 27 januari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy