Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Computability and Complexity: From a Programming Perspective (Foundations of Computing)

Buy
Computability and complexity theory should be of central concern to practitioners as well as theorists. Unfortunately, however, the field is known for its impenetrability. Neil Jones's goal as an educator and author is to build a bridge between computability and complexity theory and other areas of computer science, especially programming. In a shift away from the Turing machine- and Gödel number-oriented classical approaches, Jones uses concepts familiar from programming languages to make computability and complexity more accessible to computer scientists and more applicable to practical programming problems.

According to Jones, the fields of computability and complexity theory, as well as programming languages and semantics, have a great deal to offer each other. Computability and complexity theory have a breadth, depth, and generality not often seen in programming languages. The programming language community, meanwhile, has a firm grasp of algorithm design, presentation, and implementation. In addition, programming languages sometimes provide computational models that are more realistic in certain crucial aspects than traditional models.

New results in the book include a proof that constant time factors do matter for its programming-oriented model of computation. (In contrast, Turing machines have a counterintuitive "constant speedup" property: that almost any program can be made to run faster, by any amount. Its proof involves techniques irrelevant to practice.) Further results include simple characterizations in programming terms of the central complexity classes PTIME and LOGSPACE, and a new approach to complete problems for NLOGSPACE, PTIME, NPTIME, and PSPACE, uniformly based on Boolean programs.

Foundations of Computing series

About the Author
Neil D. Jones is Professor of Computer Science at the University of Copenhagen.
(HTML tags aren't allowed.)

New Perspectives on Microsoft Expression Web 2007: Introductory
New Perspectives on Microsoft Expression Web 2007: Introductory
The New Perspectives Series’ critical-thinking, problem-solving approach is the ideal way to prepare students to transcend point-and-click skills and take advantage of all that Microsoft Expression Web has to offer.

Our goal in developing the New Perspectives Series was to create books that give students the
...
JSP™ and XML Integrating XML and Web Services in Your JSP™ Application
JSP™ and XML Integrating XML and Web Services in Your JSP™ Application
The first Internet revolution was all about delivering information to people. We are now in the second revolution, which focuses on delivering information to systems. XML is the tool that makes this new revolution a reality, and Web services are the methods by which businesses will drive system-to-system communication. JSP(TM) and XML takes you...
Linux(R) Quick Fix Notebook (Bruce Perens Open Source)
Linux(R) Quick Fix Notebook (Bruce Perens Open Source)
An indispensable guide for every Linux administrator

Instant access to precise, step-by-step solutions for every essential Linux administration task

From basic configuration and troubleshooting to advanced security and optimization

If you're responsible for delivering results with Linux, Linux® Quick Fix Notebook brings...


iOS Game Programming Cookbook
iOS Game Programming Cookbook

Over 45 interesting game recipes that will help you create your next enthralling game

About This Book

  • Learn to create 2D graphics with Sprite Kit, game physics, AI behaviours, 3D game programming, and multiplayer gaming
  • Use native iOS frameworks for OpenGL to create 3D textures, allowing...
Practical Optimization Methods: With Mathematica® Applications
Practical Optimization Methods: With Mathematica® Applications
This introductory textbook adopts a practical and intuitive approach, rather than emphasizing mathematical rigor. Computationally oriented books in this area generally present algorithms alone, and expect readers to perform computations by hand, and are often written in traditional computer languages, such as Basic, Fortran or Pascal. This book,...
Configuring Financial Accounting in SAP
Configuring Financial Accounting in SAP
What you have in your hands is a unique book. You may have seen several books on SAP Financial Accounting (FI) that are available in the market, but none of them are as comprehensive as this, covering the gamut of Financial Accounting in SAP Financials including—besides the regular topics —FI-CA (Contract Accounts...
©2020 LearnIT (support@pdfchm.net) - Privacy Policy