作者：刘培杰数学工作室
页数：806页
出版社：哈尔滨工业大学出版社
出版日期：2017
ISBN：9787560364940
电子书格式：pdf/epub/txt
内容简介
本书适合高等学校数学及相关专业师生使用，也适用于数学爱好者参考阅读。
本书特色
本书由一道竞赛题引入麦卡锡函数,介绍了麦卡锡函数与阿克曼函数的相关内容与问题，并同时介绍了莫绍揆数理逻辑的相关内容及其历史与进展。
目录
目录
第一编 McCarthy函数与Acker—mann函数
第1章 一道竞赛题与McCarthy函数
第2章
Ackermann函数
第3章
递归函数的历史与应用
第4章
非原始递归函数一例
第5章
一类完全递归函数的分层
第6章
胡世华论递归结构理论
第二编
莫绍揆数理逻辑
第7章 数理逻辑的由来
第8章
数理逻辑的主要内容
第9章
关于数理逻辑的三大派
第10章
数理逻辑中一些基本概念
第三编
历史与进展
第11章
林夏水、张尚水介绍数理逻辑在中国
第12章
哥德尔定理—数理逻辑发展的第三阶段
附录1 理论计算机科学引论
附录2 胡世华先生的学术成就
附录3莫斯科大学数学计算机系递归函数课程讲义
编辑手记
第一编 McCarthy函数与Acker—mann函数
第1章 一道竞赛题与McCarthy函数
第2章
Ackermann函数
第3章
递归函数的历史与应用
第4章
非原始递归函数一例
第5章
一类完全递归函数的分层
第6章
胡世华论递归结构理论
第二编
莫绍揆数理逻辑
第7章 数理逻辑的由来
第8章
数理逻辑的主要内容
第9章
关于数理逻辑的三大派
第10章
数理逻辑中一些基本概念
第三编
历史与进展
第11章
林夏水、张尚水介绍数理逻辑在中国
第12章
哥德尔定理—数理逻辑发展的第三阶段
附录1 理论计算机科学引论
附录2 胡世华先生的学术成就
附录3莫斯科大学数学计算机系递归函数课程讲义
编辑手记
