McCarthy函数和Ackermann()

全新正版现货速发

73.9 6.3折 118 全新

库存4件

江苏无锡

认证卖家担保交易快速发货售后保障

作者刘培杰数学工作室编译著刘培杰数学工作室编译译

出版社哈尔滨工业大学出版社

ISBN9787560364940

出版时间2017-11

装帧平装

开本16开

定价118元

货号1202175789

上书时间2024-10-23

已实名已认证进店收藏店铺

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

内容摘要

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

主编推荐

本书适合高等学校数学及相关专业师生使用，也适用于数学爱好者参考阅读。

— 没有更多了 —