Alibris: Recursive functions

AUDIOBOOKS | NEW BOOKS OF NOTE | BARGAIN BOOKS | Find a seller

» advanced search

Save on a few of their favorite things: Give bargain books

Get your gifts by December 24: Learn how

browse BOOKS

Page 1 of 3

sort by

1	Computability and Logic more books like this by George Boolos add to wishlist 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 $4.90! \| first editions \| SVS
2	Computability and Logic more books like this by Richard C Jeffrey, George S Boolos add to wishlist 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 $87.30!
3	Computability & unsolvability. more books like this by Martin Davis add to wishlist 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
4	Recursive Methods in Economic Dynamics more books like this by Nancy L Stokey, Edward C Prescott, Robert E Lucas, Jr. add to wishlist Develops the basic methods of recursive analysis, covers stochastic dynamic programming, and presents two fundamental theorems of welfare economics. see all copies from $49.98! new only from $78.00! \| SVS
5	An Introduction to the General Theory of Algorithms more books like this by Michael Machtey add to wishlist see all copies from $4.83! first editions
6	A Recursive Introduction to the Theory of Computation more books like this by Carl Smith add to wishlist 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 $4.10! new only from $15.00! \| SVS
7	Degrees of Unsolvability more books like this by Gerald Sacks add to wishlist see all copies from $9.77! new only from $50.35! \| SVS
8	Theory of recursive functions and effective computability more books like this by Hartley Rogers add to wishlist see all copies from $9.45! new only from $36.25! \| first editions \| SVS
9	The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions more books like this by Martin Davis (Editor) add to wishlist 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 \| SVS
10	Super-Recursive Algorithms more books like this by Mark Burgin add to wishlist 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 $27.65! new only from $27.65! \| first editions \| SVS
11	Pipelined Lattice and Wave Digital Recursive Filters more books like this by Jin-Gyun Chung, Chung Jin-Gyun Chung, Keshab K Parhi add to wishlist "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 $131.36! new only from $131.36! \| first editions \| SVS
12 view cover	Theory of formal systems. more books like this by Raymond M. Smullyan add to wishlist see all copies from $12.50! new only from $49.35! \| first editions \| SVS
13 view cover	Adaptive Iir Filtering in Signal Processing and Control more books like this by Phillip A Regalia, Regalia Regalia add to wishlist 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 $40.77! new only from $99.00!
14 view cover	Games and Full Abstraction for a Functional Metalanguage with Recursive Types more books like this by Guy McCusker add to wishlist 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!
15	Theory of Computation more books like this by Walter S Brainerd add to wishlist see all copies from $1.99! first editions \| SVS
16 view cover	Calculi of Lambda Conversion more books like this by Alonzo Church add to wishlist see all copies from $18.43! new only from $39.02! \| first editions \| SVS
17 view cover	Solutions Manual for "Recursive Methods in Economic Dynamics" more books like this by Claudio Irigoyen, Esteban Rossi-Hansberg, Mark L J Wright add to wishlist 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 $29.71! new only from $51.00! \| SVS
18	Reflexive Structures: An Introduction to Computability Theory more books like this by Luis E Sanchis add to wishlist see all copies from $17.99! new only from $44.00!
19	Synthesis of Digital Designs from Recursive Equations more books like this by Steven D Johnson add to wishlist 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 $53.94! \| first editions
20	Recursive Function Theory and Logic more books like this by Ann Yasuhara add to wishlist see all copies from $9.50! first editions
21 view cover	Stochastic Approximation and Recursive Algorithms and Applications more books like this by George G Yin, Harold J Kushner add to wishlist 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.28! new only from $72.28! \| SVS
22	Introduction to the Theory of Computation more books like this by Erwin Engeler add to wishlist see all copies from $1.99! first editions \| SVS
23 view cover	Recursion Theory, Its Generalisations and Applications more books like this by F R Drake, S S Wainer (Editor), N J Hitchin (Editor) add to wishlist 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
24 view cover	Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godels Theorems more books like this by Roman Murawski add to wishlist "Recursive Functions and Metamathematics" deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Godel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. This ... see all copies from $137.61! new only from $137.61! \| SVS
25	Recursive functions in computer theory more books like this by Rózsa Péter add to wishlist see all copies from $27.00! new only from $27.00! \| first editions

Page 1 of 3: 1 2 3 Next>

Browse authors

Browse subjects

Our Money-Back Guarantee

We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.

	Introduction to Mathematical Logic by Alonzo Church see all from $25.00! new only from $60.68!
	Meaning and Necessity: A Study in Semantics and Modal Logic by Rudolf Carnap see all from $5.47! new only from $29.00!
	Embodiments of Mind by Warren S McCulloch, Jerome Y Lettvin (Preface by) see all from $16.50!
	Introduction to Automata Theory, Languages, and Computation by John E Hopcroft see all from $1.99! new only from $68.22!
	The Universal Computer: The Road from Leibniz to Turing by Martin Davis see all from $4.83! new only from $23.78!
	This Book Needs No Title: A Budget of Living Paradoxes by Raymond Smullyan see all from $4.00! new only from $8.97!