麦卡锡函数和阿克曼函数
出版时间：2012年版
内容简介
　　《麦卡锡函数和阿克曼函数——从一道前南斯拉夫数学奥林匹克试题谈起》从一道前南斯拉夫数学奥林匹克试题谈起，以粗犷的线条，简明的介绍了麦卡锡函数、阿克曼函数及递归函数。通过对小试题的讨论，展示给读者一个关于数理逻辑的大世界，是一本通向数理逻辑殿堂的桥梁之作。《麦卡锡函数和阿克曼函数——从一道前南斯拉夫数学奥林匹克试题谈起》由刘培杰、康大臣编著。
目录
第1章 一道竞赛题与麦卡锡函数
第2章 阿克曼函数
第3章 递归函数的历史与应用
第4章 非原始递归函数一例
第5章 一类完全递归函数的分层
第6章 胡世华论递归结构理论
§1 可数代数结构中的显定义
§2 原始递归函数和递归结构
附录Ⅰ 胡世华先生的学术成就
附录Ⅱ 莫斯科大学数学计算机系递归
函数课程讲义
参考文献
编辑手记