Recursively Enumerable Sets and Degrees

副标题: A Study of Computable Functions and Computably Generated Sets

ISBN: 9780387152998

出版社: Springer

出版年: 2004-3

页数: 437

定价: USD 79.95

装帧: Hardcover

内容简介

The first part consists of an introduction to the theory of computation and recursive function theory, including definitions of computable functions, Turing machines, partial recursive functions, recursively enumerable sets, the Kleene recursion theorem etc. The second part is a comprehensive study of recursively enumerable sets and their degrees.

作者简介

Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, the University of Chicago

目录