|
题名:
|
McCarthy函数和Ackermann函数 / 刘培杰数学工作室编译 , |
|
ISBN:
|
978-7-5603-6494-0 价格： CNY118.00 |
|
语种:
|
chi |
|
载体形态:
|
414页 24cm |
|
出版发行:
|
出版地： 哈尔滨 出版社： 哈尔滨工业大学出版社 出版日期： 2017 |
|
内容提要:
|
本书从一道前南斯拉夫数学奥林匹克试题谈起, 简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由来、数理逻辑的主要内容、数理逻辑的基本概念及数理逻辑的历史进展等内容。本书通过对小试题的讨论, 展示给读者一个关于数理逻辑的大世界, 是一本通向数理逻辑殿堂的桥梁之作。 |
|
主题词:
|
数理逻辑 |
|
中图分类法:
|
O141 版次： 5 |
|
附注:
|
国家出版基金资助项目 |
|
主要团体责任者:
|
刘培杰数学工作室 编译 |
|
索书号:
|
3 |
|
索书号:
|
3 |