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