西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

McCarthy函数和Ackermann函数/刘培杰数学工作室编译

出版发行项:

哈尔滨:哈尔滨工业大学出版社,2017

ISBN及定价:

978-7-5603-6494-0 精装/CNY118.00

载体形态项:

414页;24cm+2

并列正题名:

McCarthy function and Ackermann function

丛编项:

现代数学中的著名定理纵横谈丛书;31

团体责任者:

刘培杰数学工作室 编译

学科主题:

数理逻辑

中图法分类号:

O141

一般附注:

国家出版基金资助项目

提要文摘附注:

本书从一道前南斯拉夫数学奥林匹克试题谈起, 简明地介绍了麦卡锡函数、阿克曼函数及递归函数、数理逻辑的由来、数理逻辑的主要内容、数理逻辑的基本概念及数理逻辑的历史进展等内容。本书通过对小试题的讨论, 展示给读者一个关于数理逻辑的大世界, 是一本通向数理逻辑殿堂的桥梁之作。

豆瓣简介：