Logic and Complexity
Published on 8. October 2012
Book
Paperback/Softback
X, 361 pages
978-1-4471-1052-1 (ISBN)
Description
Logic and Complexity introduces some of the fundamental ideas of Logic for Computer Science, by explaining the classical notions of mathematical logic, alongside new ideas brought by complexity theory.
More details
Series
Edition
Softcover reprint of the original 1st ed. 2004
Language
English
Place of publication
London
United Kingdom
Target group
Professional and scholarly
Research
Illustrations
X, 361 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 21 mm
Weight
569 gr
ISBN-13
978-1-4471-1052-1 (9781447110521)
DOI
10.1007/978-0-85729-392-3
Schweitzer Classification
Other editions
Additional editions
Richard Lassaigne | Michel De Rougemont
Logic and Complexity
Book
01/2004
Springer
€160.49
Shipment within 15-20 days
Content
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.