Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16) - Image 1

£72.77

Birkhauser Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)

Name: Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)
Brand: Birkhauser
Price: 73.73 GBP
Availability: InStock

Computer Science

It has never been this cheap. We have no record of a lower price.

£73 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (49 days, 54.4%)

Price range: £73 - £76

Price levels: 3 different prices over 90 days

Description

Product Description One of the major concerns of theoretical computer science is the classifi cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac~that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function. Review "Ideal for an advanced undergraduate or beginning graduate student who has some exposure to basic computability theory and wants to see what one can do with it. The questions asked are interesting and can be easily understood and the proofs can be followed without a large amount of training in computability theory." --Sigact News

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 1461268486
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Publication Date: 13 July 2013
Listed Since: 07 November 2013

Barcode

No barcode data available

Birkhauser Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

New Computational Paradigms: Changing Conceptions of What is Computable

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)

Neural Networks and Analog Computation: Beyond the Turing Limit (Progress in Theoretical Computer Science)

Computability and Models: Perspectives East and West (University Series in Mathematics)

Super-Recursive Algorithms (Monographs in Computer Science)

Handbook of Computability Theory (Volume 140) (Studies in Logic and the Foundations of Mathematics, Volume 140)

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Turing’s Revolution: The Impact of His Ideas about Computability

Turing’s Revolution: The Impact of His Ideas about Computability

Handbook of Complex Variables

Completeness and Reduction in Algebraic Complexity Theory: 7 (Algorithms and Computation in Mathematics, 7)

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities (Trends in Mathematics)

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

State-Space Search: Algorithms, Complexity, Extensions, and Applications

Logic of Domains (Progress in Theoretical Computer Science)

Elementary Functions: Algorithms and Implementation

Models and Algorithms of Time-Dependent Scheduling (Monographs in Theoretical Computer Science. An EATCS Series)

Kolmogorov Complexity and Computational Complexity (Monographs in Theoretical Computer Science. An EATCS Series)

Basic Classes of Linear Operators

Space–Time Computational Flow Analysis: A Chronological Catalog of Unconventional Methods and First-of-Its-Kind Solutions (Modeling and Simulation in Science, Engineering and Technology)

Coding, Cryptography and Combinatorics: 23 (Progress in Computer Science and Applied Logic, 23)

Restarting Automata: Extensions and Generalizations (Theory and Applications of Computability)