๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

Computable Functions

โœ Scribed by Nikolai Konstantinovich Vereshchagin, A. Shen


Publisher
American Mathematical Society
Year
2002
Tongue
English
Leaves
178
Series
Student Mathematical Library, V. 19
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


In 1936, before the development of modern computers, Alan Turing proposed the concept of a machine that would embody the interaction of mind, machine, and logical instruction. The idea of a 'universal machine' inspired the notion of programs stored in a computer's memory. Nowadays, the study of computable functions is a core topic taught to mathematics and computer science undergraduates. Based on the lectures for undergraduates at Moscow State University, this book presents a lively and concise introduction to the central facts and basic notions of the general theory of computation.It begins with the definition of a computable function and an algorithm and discusses decidability, enumerability, universal functions, numberings and their properties, $m$-completeness, the fixed point theorem, arithmetical hierarchy, oracle computations, and degrees of unsolvability. The authors complement the main text with over 150 problems. They also cover specific computational models, such as Turing machines and recursive functions. The intended audience includes undergraduate students majoring in mathematics or computer science, and all mathematicians and computer scientists who would like to learn basics of the general theory of computation. The book is also an ideal reference source for designing a course.


๐Ÿ“œ SIMILAR VOLUMES


Computable functions
โœ N. K. Vereshchagin, A. Shen ๐Ÿ“‚ Library ๐Ÿ“… 2003 ๐Ÿ› American Mathematical Society ๐ŸŒ English

In 1936, before the development of modern computers, Alan Turing proposed the concept of a machine that would embody the interaction of mind, machine, and logical instruction. The idea of a 'universal machine' inspired the notion of programs stored in a computer's memory. Nowadays, the study of comp

Recursively Enumerable Sets and Degrees:
โœ Robert I. Soare ๐Ÿ“‚ Library ๐Ÿ“… 1987 ๐Ÿ› Springer ๐ŸŒ English

.."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and concisene

Computability: computable functions, log
โœ Richard L. Epstein, Walter A Carnielli ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Advanced Reasoning Forum ๐ŸŒ English

Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while pre