微信扫一扫,移动浏览光盘
简介
本书由一道竞赛题引入麦卡锡函数,介绍了麦卡锡函数与阿克曼函数的相关内容与问题，并同时介绍了莫绍揆数理逻辑的相关内容及其历史与进展。
目录
目录
*编 McCarthy函数与Acker—mann函数
第1章 一道竞赛题与McCarthy函数
第2章Ackermann函数
第3章递归函数的历史与应用
第4章非原始递归函数一例
第5章一类完全递归函数的分层
第6章胡世华论递归结构理论
第二编莫绍揆数理逻辑
第7章 数理逻辑的由来
第8章数理逻辑的主要内容
第9章关于数理逻辑的三大派
第10章数理逻辑中一些基本概念
第三编历史与进展
第11章林夏水、张尚水介绍数理逻辑在中国
第12章哥德尔定理—数理逻辑发展的第三阶段
附录1 理论计算机科学引论
附录2 胡世华先生的学术成就
附录3莫斯科大学数学计算机系递归函数课程讲义
编辑手记
McCarthy函数和Ackermann
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
