MARC状态：审校 文献类型：中文图书 浏览次数：4
- 题名/责任者:
- McCarthy函数和Ackermann函数/刘培杰数学工作室编译
- 出版发行项:
- 哈尔滨:哈尔滨工业大学出版社,2017
- ISBN及定价:
- 978-7-5603-6494-0 精装/CNY118.00
- 载体形态项:
- 414页;23cm
- 丛编项:
- 现代数学中的著名定理纵横谈丛书/王梓坤主编;31
- 个人责任者:
- 刘培杰数学工作室 编译
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
- 中图法分类号:
- O14
- 一般附注:
- 国家出版基金资助项目 国家出版基金项目
- 提要文摘附注:
- 本书从一道前南斯拉夫数学奥林匹克试题谈起，简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由来、数理逻辑的主要内容、数理逻辑的基本概念及数理逻辑的历史进展等内容。本书通过对小试题的讨论，展示给读者一个关于数理逻辑的大世界，是一本通向数理逻辑殿堂的桥梁之作。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| O14/19 | 5200619982 | 总馆—新馆综合阅览区（三楼） | 可借 | 新馆综合阅览区（三楼） |
显示全部馆藏信息