Computability and Logic more books like this

by George Boolos

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a ...

see all copies from $1.99!

new only from $6.00! | first editions | SVS

Recursive Methods in Economic Dynamics more books like this

by Nancy L Stokey, Edward C Prescott, Robert E Lucas, Jr.

Develops the basic methods of recursive analysis, covers stochastic dynamic programming, and presents two fundamental theorems of welfare economics.

see all copies from $61.00!

new only from $78.00! | SVS

Computability & unsolvability. more books like this

by Martin Davis

Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.

see all copies from $1.99!

new only from $8.08! | first editions | SVS

Computability and Logic more books like this

by Richard C Jeffrey, George S Boolos

A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non ...

see all copies from $1.99!

new only from $73.89!

An Introduction to the General Theory of Algorithms more books like this

by Michael Machtey

see all copies from $6.49!

first editions

Calculi of Lambda Conversion more books like this

by Alonzo Church

see all copies from $24.00!

new only from $39.02! | first editions | SVS

A Recursive Introduction to the Theory of Computation more books like this

by Carl Smith

The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are introduced as fundamental and basic tools for ...

see all copies from $2.87!

new only from $24.99! | SVS

Theory of recursive functions and effective computability more books like this

by Hartley Rogers

see all copies from $8.95!

new only from $36.25! | first editions | SVS

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions more books like this

by Martin Davis (Editor)

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite ...

see all copies from $13.42!

new only from $13.42! | first editions

Super-Recursive Algorithms more books like this

by Mark Burgin

New discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the 'algorithmic universe' and asserts the conventionality of recursive algorithms. A new paradigm for computation, the super-recursive algorithm, offers promising prospects for algorithms of much greater computing power and efficiency. "Super ...

see all copies from $38.89!

new only from $38.89! | first editions | SVS

Degrees of Unsolvability more books like this

by Gerald Sacks

see all copies from $9.77!

new only from $50.35! | SVS

Theory of Computation more books like this

by Walter S Brainerd

see all copies from $1.99!

first editions | SVS

Theory of formal systems. more books like this

by Raymond M. Smullyan

see all copies from $12.50!

new only from $95.35! | first editions

Pipelined Lattice and Wave Digital Recursive Filters more books like this

by Jin-Gyun Chung, Chung Jin-Gyun Chung, Keshab K Parhi

"Pipelined Lattice and Wave Digital Recursive Filters" uses look-ahead transformation and constrained filter design approaches. It is also shown that pipelining often reduces the roundoff noise in a digital filter. The pipelined recursive lattice and wave digital filters presented are well suited where increasing speed and reducing area or power ...

see all copies from $132.30!

new only from $132.30! | first editions | SVS

Synthesis of Digital Designs from Recursive Equations more books like this

by Steven D Johnson

This book develops a new approach to digital circuit design that is founded on the tenets of applicative programming style and which sheds light on functional programming disciplines by exploring their use in a novel realm of implementation.

see all copies from $1.99!

new only from $14.00! | first editions

Recursive Function Theory and Logic more books like this

by Ann Yasuhara

see all copies from $9.50!

first editions

Reflexive Structures: An Introduction to Computability Theory more books like this

by Luis E Sanchis

see all copies from $17.99!

new only from $44.00!

Introduction to the Theory of Computation more books like this

by Erwin Engeler

see all copies from $1.99!

first editions | SVS

Games and Full Abstraction for a Functional Metalanguage with Recursive Types more books like this

by Guy McCusker

This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.

see all copies from $100.00!

new only from $100.00!

Adaptive Iir Filtering in Signal Processing and Control more books like this

by Phillip A Regalia, Regalia Regalia

Integrates rational approximation with adaptive filtering, providing viable, numerically reliable procedures for creating adaptive infinite impulse response (IIR) filters. The choice of filter structure to adapt, algorithm design and the approximation properties for each type of algorithm are also addressed. This work recasts the theory of ...

see all copies from $43.29!

new only from $99.00!

Stochastic Approximation and Recursive Algorithms and Applications more books like this

by George G Yin, Harold J Kushner

The book presents a thorough development of the modern theory of stochastic approximation or recursive stochastic algorithms for both constrained and unconstrained problems. There is a complete development of both probability one and weak convergence methods for very general noise processes. The proofs of convergence use the ODE method, the most ...

see all copies from $72.80!

new only from $72.80! | SVS

Solutions Manual for "Recursive Methods in Economic Dynamics" more books like this

by Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L J Wright

This solutions manual is a valuable companion volume to the classic textbook "Recursive Methods in Economic Dynamics" by Nancy L. Stokey and Robert E. Lucas. The exercises in the Stokey and Lucas book are integral to the text, and thus, a reader cannot fully appreciate the text without understanding the results developed in the exercises. This ...

see all copies from $30.29!

new only from $51.00! | SVS

Recursion Theory, Its Generalisations and Applications more books like this

by F R Drake, S S Wainer (Editor), N J Hitchin (Editor)

Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being 'computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a ...

see all copies from $84.09!

new only from $84.09! | SVS

Enumerability, decidability, computability; an introduction to the theory of recursive functions more books like this

by Hans Hermes

see all copies from $8.30!

SVS

Recursiveness more books like this

by Samuel Eilenberg, Calvin C. Elgot

see all copies from $9.97!

first editions