本书讨论日常生活中的算法问题。作者将算法问题分为几个大类:贪心算法,组合游戏,进位制,编码理讼,密码学,黑匣子,递归与递推,并将它们与常见的生活案例相结合来做说明,让读者在轻松的文笔中获得思考
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识,以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关