信阅平台

编辑推荐

　　◎阿克曼函数
　　◎递归函数的历史与应用
　　◎非原始递归函数一例
　　◎一类完全递归函数的分层
　　◎可数代数结构中的显定义

展开

内容介绍

　　《麦卡锡函数和阿克曼函数：从一道前南斯拉夫数学奥林匹克试题谈起》从一道前南斯拉夫数学奥林匹克试题谈起，以粗犷的线条，简明的介绍了麦卡锡函数、阿克曼函数及递归函数。通过对小试题的讨论，展示给读者一个关于数理逻辑的大世界，是一本通向数理逻辑殿堂的桥梁之作。

展开

第1章一道竞赛题与麦卡锡函数
第2章阿克曼函数
第3章递归函数的历史与应用
第4章非原始递归函数一例
第5章一类完全递归函数的分层
第6章胡世华论递归结构理论
§1 可数代数结构中的显定义
§2 原始递归函数和递归结构
附录Ⅰ 胡世华先生的学术成就
附录Ⅱ 莫斯科大学数学计算机系递归
函数课程讲义
参考文献
编辑手记

展开