出版社:哈尔滨工业大学出版社
年代:2012
定价:28.0
本书从一道前南斯拉夫数学奥林匹克试题谈起,以粗犷的线条,简明的介绍了麦卡锡函数、阿克曼函数及递归函数。通过对小试题的讨论,展示给读者一个关于数理逻辑的大世界,是一本通向数理逻辑殿堂的桥梁之作。
第1章 一道竞赛题与麦卡锡函数
第2章 阿克曼函数
第3章 递归函数的历史与应用
第4章 非原始递归函数一例
第5章 一类完全递归函数的分层
第6章 胡世华论递归结构理论
§1 可数代数结构中的显定义
§2 原始递归函数和递归结构
附录Ⅰ 胡世华先生的学术成就
附录Ⅱ 莫斯科大学数学计算机系递归
函数课程讲义
参考文献
编辑手记
《麦卡锡函数和阿克曼函数:从一道前南斯拉夫数学奥林匹克试题谈起》从一道前南斯拉夫数学奥林匹克试题谈起,以粗犷的线条,简明的介绍了麦卡锡函数、阿克曼函数及递归函数。通过对小试题的讨论,展示给读者一个关于数理逻辑的大世界,是一本通向数理逻辑殿堂的桥梁之作。
◎阿克曼函数
◎递归函数的历史与应用
◎非原始递归函数一例
◎一类完全递归函数的分层
◎可数代数结构中的显定义
书籍详细信息 | |||
书名 | 麦卡锡函数和阿克曼函数站内查询相似图书 | ||
9787560337203 如需购买下载《麦卡锡函数和阿克曼函数》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN | |||
出版地 | 哈尔滨 | 出版单位 | 哈尔滨工业大学出版社 |
版次 | 1版 | 印次 | 1 |
定价(元) | 28.0 | 语种 | 简体中文 |
尺寸 | 26 × 19 | 装帧 | 平装 |
页数 | 印数 |
麦卡锡函数和阿克曼函数是哈尔滨工业大学出版社于2012.8出版的中图分类号为 O141 的主题关于 数理逻辑 的书籍。