 |
|
这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还介绍了一些特殊的函数模型，如Turing机和递归函数。 《可计算函数》可供数学和计算机专业的本科生阅读，也可供所有希望学习计算的一般理论的基础知识的数学家和程序员使用。 |
 |
|
前辅文 |
 |
|
|
 |
|
|
|
|
 |
|
A. Shen 是莫斯科独立大学(Independent University of Moscow) 的教授， N. K. Vereshchagin 是莫斯科大学(Moscow State Lomonosov University)的教授。 |
 |
|
大学生数学图书馆 |
|
|
|
|
 |
|
本书可供数学和计算机专业的本科生阅读，也可供所有希望学习计算的一般理论的基础知识的数学家和程序师使用。 |
|
|
|
|
