recursion-ccebook-Valuable English Books

Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium (Studies in Logic and the Foundations of Mathematics, V. 94)

Author: Symposium on Generalized Recursion Theory (1977
Publisher: Elsevier Science Ltd
Keywords: studies, logic, foundations, mathematics, symposium, oslo, recursion, theory, proceedings, generalized
Number of Pages: 417
Published: 1978-08-01
List price: unknow
ISBN-10: 0444851631
ISBN-13: 9780444851635

Read Detail

Recursion

Author: Tony Ballantyne
Publisher: Spectra
Keywords: recursion
Number of Pages: 432
Published: 2006-08-29
List price: $6.99
ISBN-10: 0553589288
ISBN-13: 9780553589283

It is the twenty-third century. Herb, a young entrepreneur, returns to the isolated planet on which he has illegally been trying to build a city–and finds it destroyed by a swarming nightmare of self-replicating machinery. Worse, the all-seeing Environment Agency has been watching him the entire time. His punishment? A nearly hopeless battle in the farthest reaches of the universe against enemy machines twice as fast, and twice as deadly, as his own–in the company of a disarmingly confident AI who may not be exactly what he claims…Little does Herb know that this war of machines was set i

Read Detail

Logic, Sets and Recursion

Author: Robert L. Causey
Publisher: Jones & Bartlett Pub
Keywords: recursion, sets, logic
Number of Pages: 512
Published: 2005-12-29
List price: $122.95
ISBN-10: 0763737844
ISBN-13: 9780763737849

Logic Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level. This text paves the way for students preparing to enter more advanced math courses, furnishing them with the experience to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and Discrete Mathematics texts that do not treat logic with the depth required in modern computer science. The new Second Edition has incorporated a wealth of exercise sets to aid in stude

Read Detail

Recursion via Pascal (Cambridge Computer Science Texts)

Author: Rohl
Publisher: Cambridge University Press
Keywords: science, texts, computer, cambridge, via, pascal, recursion
Number of Pages: 204
Published: 1984-08-31
List price: $45.00
ISBN-10: 0521269342
ISBN-13: 9780521269346

This book is devoted to recursion in programming, the technique through which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has received its full due since it is quite often the only repetitive construct. However, here the programming language used is Pascal and the examples have been chosen accordingly. It therefore makes an interesting contrast with the use of recursion in functional and logic programming. The early

Read Detail

Recursion Theory for Metamathematics (Oxford Logic Guides)

Author: Raymond M. Smullyan
Publisher: Oxford University Press, USA
Keywords: logic, guides, oxford, metamathematics, theory, recursion
Number of Pages: 184
Published: 1993-01-28
List price: $140.00
ISBN-10: 019508232X
ISBN-13: 9780195082326

This work is a sequel to the author’s Godel’s Incompleteness Theorems, though it can be read independently by anyone familiar with Godel’s incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.