McCarthy函数和Ackermann函数

定　价：¥118.00

作　者：	刘培杰数学工作室著
出版社：	哈尔滨工业大学出版社
丛编项：
标　签：	>数学 >数学理论 >自然科学

购买这本书可以去

ISBN：	9787560364940	出版时间：	2017-10-01	包装：	精装
开本：	16开	页数：		字数：

内容简介

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

作者简介

暂缺《McCarthy函数和Ackermann函数》作者简介

图书目录

第一编 McCarthy函数与Acker—mann函数
第1章一道竞赛题与McCarthy函数
第2章 Ackermann函数
第3章递归函数的历史与应用
第4章非原始递归函数一例
第5章一类完全递归函数的分层
第6章胡世华论递归结构理论
第二编莫绍揆数理逻辑
第7章数理逻辑的由来
第8章数理逻辑的主要内容
第9章关于数理逻辑的三大派
第10章数理逻辑中一些基本概念
第三编历史与进展
第11章林夏水、张尚水介绍数理逻辑在中国
第12章哥德尔定理—数理逻辑发展的第三阶段
附录1 理论计算机科学引论
附录2 胡世华先生的学术成就
附录3莫斯科大学数学计算机系递归函数课程讲义
编辑手记