McCarthy函数和Ackermann

图书标准信息

• 作者 刘培杰数学工作室
• 出版社 哈尔滨工业大学出版社
• 出版时间 2017-10
• 版次 1
• ISBN 9787560364940
• 定价 118.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸

【内容简介】

本书由一道竞赛题引入麦卡锡函数,介绍了麦卡锡函数与阿克曼函数的相关内容与问题，并同时介绍了莫绍揆数理逻辑的相关内容及其历史与进展。

【目录】

目录

第一编 McCarthy函数与Acker—mann函数

第1章     一道竞赛题与McCarthy函数

第2章      

Ackermann函数

第3章      

递归函数的历史与应用

第4章      

非原始递归函数一例

第5章      

一类完全递归函数的分层

第6章      

胡世华论递归结构理论

第二编

莫绍揆数理逻辑

第7章     数理逻辑的由来

第8章      

数理逻辑的主要内容

第9章      

关于数理逻辑的三大派

第10章  

数理逻辑中一些基本概念

第三编

历史与进展

第11章  

林夏水、张尚水介绍数理逻辑在中国

第12章  

哥德尔定理—数理逻辑发展的第三阶段

附录1 理论计算机科学引论

附录2 胡世华先生的学术成就

附录3莫斯科大学数学计算机系递归函数课程讲义

编辑手记