递归论

• 

  递归论

  查看PDF目录购买本书

  莫绍揆著1987 年出版308 页ISBN：7030000501

  本书是一本人门书，对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分...

• 

  递归论

  查看PDF目录购买本书

  郝兆宽，杨睿之，杨跃著2018 年出版207 页ISBN：9787309140187

  递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代研究范围逐渐扩大，关注点从可计算性扩展到对一般意义上的复杂性、构造性和可定义性等，它与逻辑学的其他...

• 

  递归论导论

  查看PDF目录购买本书

  郭世铭著1998 年出版178 页ISBN：7500422954