可计算函数 作者：（俄罗斯）沈（A·Shen），（俄罗斯）韦列夏金（N·K·Vereshchagin）著；陈光还译出版时间：2014年版内容简介　　这本生动、简洁的书基于作者在莫斯科大学力学数学系的本科生课程讲义，涵盖了计算的一般理论的基本概念。《可计算函数》从可计算函数的定义和一个算法开始，讨论了可判定性、可数性、通用函数、编号系统及其性质、m-完全性、不动点定理、算术分层、oracle计算、不可判定性的度。作者还...