BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

Computability and Complexity: Foundations and Tools for Pursuing Scientific
Stock photo: cover may vary

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science) Paperback - 2024

by Downey, Rod

Add to wish list
  • Used
  • Good
  • Paperback
Used - Good

Description

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Ask the seller a question Add to wish list
A$100.62
Free Delivery within USA
Standard delivery: 7 to 14 days
More delivery options
Dropship order
Ships from Bonita (California, United States)

Details

  • Title Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)
  • Author Downey, Rod
  • Binding Paperback
  • Condition Used - Good
  • Pages 346
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2024-05-11
  • Illustrated Yes
  • Features Illustrated
  • Bookseller's Inventory # 3031537432.G
  • ISBN 9783031537431 / 3031537432
  • Weight 1.16 lbs (0.53 kg)
  • Dimensions 9.21 x 6.14 x 0.78 in (23.39 x 15.60 x 1.98 cm)
  • Category Computers - General Information
  • Quantity available 1

About Bonita California, United States

Biblio member since 2020

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Bonita

Reader reviews for Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

From the publisher

This is a book about computation, something which is ubiquitous in the modern world. More precisely, it examines computability theory and computational complexity theory. Computability theory is the part of mathematics and computer science which seeks to clarify what we mean by computation or algorithm. When is there a computational solution possible to some question? How can we show that none is possible? How computationally hard is the question we are concerned with? Arguably, this area lead to the development of digital computers. (Computational) complexity theory is an intellectual heir of computability theory. Complexity theory is concerned with understanding what resources are needed for computation, where typically we would measure the resources in terms of time and space. Can we perform some task in a feasible number of steps? Can we perform some algorithm with only a limited memory? Does randomness help? Are there standard approaches to overcoming computational difficulty?

From the rear cover

The ideas and techniques comprised in the mathematical framework for understanding computation should form part of the standard background of a graduate in mathematics or computer science, as the issues of computability and complexity permeate modern science.

This textbook/reference offers a straightforward and thorough grounding in the theory of computability and computational complexity. Among topics covered are basic naive set theory, regular languages and automata, models of computation, partial recursive functions, undecidability proofs, classical computability theory including the arithmetical hierarchy and the priority method, the basics of computational complexity and hierarchy theorems.

Topics and features:

- Explores Conway's undecidability proof of the ``3x+1'' problem using reductions from Register Machines and "Fractran"

- Offers an accessible account of the undecidability of the exponential version of Hilbert's 10th problem due to Jones and Matijacevič

- Provides basic material on computable structure, such as computable linear orderings

- Addresses parameterized complexity theory, including applications to algorithmic lower bounds and kernelization lower bounds

- Delivers a short account of generic-case complexity and of smoothed analysis

- Includes bonus material on structural complexity theory and priority arguments in computability theory

This comprehensive textbook will be ideal for advanced undergraduates or beginning graduates, preparing them well for more advanced studies or applications in science. Additionally, it could serve such needs for mathematicians or for scientists working in computational areas, such as biology.

Rodney Downey is an Emeritus Professor at Victoria University of Wellington, NZ. He is the co-author of the Springer books, Fundamentals of Parameterized Complexity, and Algorithmic Randomness and Complexity. He has won many prizes for his work, including (twice) the Shoenfield Prize for writing, as well as the Rutherford Medal, New Zealand's premier science award.

About the author

Rodney Downey is an Emeritus Professor at Victoria University of Wellington, NZ. He is the co-author of the Springer books, Fundamentals of Parameterized Complexity, and Algorithmic Randomness and Complexity. He has won many prizes for his work, including (twice) the Shoenfield Prize for writing, as well as the Rutherford Medal, New Zealand's premier science award.

tracking-