递归函数论
✍ 培特（R.Peter）
📂 Library
📅 1958
🏛 科学出版社
🌐 Chinese
✦ LIBER ✦
📁
The Little Schemer: 递归与函数式的奥妙
✍ Scribed by Daniel P. Friedman; Matthias Felleisen
- Publisher
- 电子工业出版社
- Year
- 2017
- Tongue
- Chinese
- Leaves
- 212
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
✦ Synopsis
《The Little Schemer：递归与函数式的奥妙》是一本久负盛名的经典之作，两位作者Daniel P. Friedman、Matthias Felleisen在程序语言界名声显赫。《The Little Schemer：递归与函数式的奥妙》介绍了Scheme的基本结构及其应用、Scheme的五法十诫、Continuation-Passing-Style、Partial Function、Y-Combinator、Interpreter等内容，并通过这些内容阐述了计算的一般本质。《The Little Schemer：递归与函数式的奥妙》没有什么理论性描述，所有概念都蕴含在独特的引导式一问一答过程中，这种方式让读者对程序大师运用熟稔的程序方法来驾驭概念的能力叹为观止。
通过阅读《The Little Schemer：递归与函数式的奥妙》，可以让读者领略递归的奥妙、函数式编程风格的魅力。阅读完毕会有一种意犹未尽的感觉。
《The Little Schemer：递归与函数式的奥妙》适合所有程序员阅读，特别是函数式编程爱好者。好好享用！
✦ Table of Contents
第1章 玩具总动员 2
第2章 处理，处理，反复处理…… 14
第3章 用cons构筑恢宏 32
第4章 数字游戏 58
第5章 我的天！都是星星 80
第6章 如影随形 96
第7章 朋友及关系 110
第8章 Lambda终结者 124
第9章 ……周而复始…… 148
第10章 值是什么 174
幕间休息 192
索引 194
📜 SIMILAR VOLUMES
递归函数论
✍ 莫绍揆
📂 Library
📅 1965
🏛 上海科学技术出版社
🌐 Chinese
数学丛书.-. 现代数学基础丛书 . 递归函数论
✍ 莫绍揆编著
📂 Library
🌐 Chinese
递归数列
✍ 陈家声; 徐惠芳
📂 Library
📅 1988
🏛 上海教育出版社
🌐 Chinese
递归论：算法与随机性基础（逻辑与形而上学教科书系列）
✍ 郝兆宽 等
📂 Library
📅 2018
🏛 复旦大学出版社
🌐 Chinese
本书是“逻辑与形而上学教科书系列”中的一本。递归论是数理逻辑的主要分支之一。本书介绍了递归论的基础知识，以及某些有影响的问题与经典构造。本书共分5章。第一章介绍了图灵机、递归、递归可枚举等概念以及相关的定理。第二章列举了一些重要的不可判定问题，其中包括希尔伯特第十问题（丢番图整数解判定问题）的否定性结果（即马季亚谢维奇定理）和它的完整证明。第三章介绍了递归论度理论的核心概念和基本事实。在第四章中，读者可以找到递归论中经典的构造技巧——尾节扩张（算术力迫）和有穷损害优先方法。第五章简单介绍了递归论的当前热点——算法随机性理论的基本概念，其中包含马丁-洛夫随机性的几个等价刻画。本书可以作为递归论导
递归论
✍ 莫绍揆
📂 Library
📅 1987
🏛 科学出版社
🌐 Chinese
内容提要: 本书是一本人门书，对递归论的各个发展方向（古典的与新兴的）都作了比较详细而有系统的介绍。前四章是初等部分，详细讨论了递归函数类及其各重要子类，并以算子概念贯穿整个讨论，使读者有巩固的基础知识。后四章分别介绍递归枚举性、判定问题、谱系与计算复杂性、化归与不可解度论，将读者引导到科研前沿。本书可供大学数学系本科生或研究生作为递归论的教材或参考书。