可计算函数

书籍简介:

这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。本书从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如Turing机和递归函数。本书可供数学和计算机专业的本科生阅读，也可供所有希望学习计算的一般理论的基础知识的数学家和程序师使用。

书籍规格:

书籍信息归属:

可计算函数是高等教育出版社于2013.12出版的中图分类号为 O174.1 的主题关于 可测函数－教材 的书籍。