书籍 可计算函数的封面

可计算函数

(俄罗斯)沈(A·Shen) (俄罗斯)韦列夏金(N·K·Vereshchagin)著 陈光还译

出版社

北京:高等教育出版社

出版时间

2014

ISBN

9787040386929

标注页数

159 页

PDF页数

171 页

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