非确定性 介绍 非确定性的实现 函数实现 宏实现 应用于逻辑编程，使程序更简洁 逻辑编程的例子 小结 非确定性 介绍 非确定性是一种通过仅定义问题来解决问题的算法。非确定性程序自动选择符合条件的选项。这项技术很适合逻辑编程。 例如，以下代码返回一对数，其和是一个质数。其中一个数从'(4 6 7) 选取，另一个从'(5 8 11) ...

我们如何模拟世界 我们遇到了一些问题 对象的世界 赋值和模块化 局部状态 赋值带来了？ 一些好处 同样多的代价 同一性产生了变化 命令式程序的缺陷 环境 环境的求值 环境的绑定 过程的应用 其他环境相关 小结 现在我们终于到了 SICP 的第三章的内容了。就个人而言我觉得 SICP 的前三章都在着眼于构建各种层次的抽象系统，...

过程的求值计算 代换模型 迭代与递归 树形结构 实例求值 高阶函数抽象 过程作为参数 $ \lambda $ 的构造 使用let 创建局部变量 过程作为返回值 总结 过程的求值计算 这里面我们先来介绍一种最为简单、通用的求值模型，代换模型 并不能概括全部的求值方式，但是我们先从这个开始。 代换模型 通用的表达式计算模式，...

1.1 引言 1.1.1 在Python中编程 1.1.2 安装Python3 1.1.3 交互式会话 1.1.4 第一个例子 1.1.5 实践指南 1.1 引言 来源：1.1 Introduction 译者：飞龙 协议：CC BY-NC-SA 4.0 计算机科学是一个极其宽泛的学科。全球的分布式系统、人工智能、机器人...

安装MIT-Scheme 为什么使用Scheme 目标读者 安装MIT-Scheme 如何在Windows上安装MIT-Scheme 小结 安装MIT-Scheme 为什么使用Scheme 使用Scheme，你可以： 编写漂亮的程序。 享受编程的乐趣。 这些就是为什么要学习Scheme的原因。在你用Scheme编写一些实用程序的时...

第十四章 不确定性 14.1 对amb的描述 14.2 用Scheme实现amb 14.3 在Scheme中使用amb 14.4 逻辑谜题 14.4.1 Kalotan谜题 14.4.2 地图着色 第十四章 不确定性 麦卡锡的非确定运算符amb 几乎和Lisp一样古老，尽管现在它已经从Lisp中消失了。amb 接受一个或多个表达式，并在它...

1. 复合类型与结构体 1. 复合类型与结构体 在编程语言中，最基本的、不可再分的数据类型称为基本类型（Primitive Type），例如整型、浮点型；根据语法规则由基本类型组合而成的类型称为复合类型（Compound Type），例如字符串是由很多字符组成的。有些场合下要把复合类型当作一个整体来用，而另外一些场合下需要分解组成这个复合类型的各种基...

3. 递归 习题 3. 递归 如果定义一个概念需要用到这个概念本身，我们称它的定义是递归的（Recursive）。例如： frabjuous an adjective used to describe something that is frabjuous. 这只是一个玩笑，如果你在字典上看到这么一个词条肯定要怒了。然而数学上确实有很多概念是...

惰性求值 简介 用于惰性求值的函数 惰性求值的简单例子 使用惰性求值表示无限序列 无限序列的基本函数和宏 无限序列 下一个项由前一项定义的序列 菲波那切数列 将惰性求值用于数值计算 牛顿-拉夫逊法求平方根 数值微分 数值积分 小结 惰性求值 简介 惰性求值（Lazy evaluation）是在需要时才进行求值的计算方式。...

免费的编程中文书籍索引 目录 语言无关类 操作系统 智能系统 分布式系统 编译原理 函数式概念 计算机图形学 WEB服务器 版本控制 编辑器 NoSQL PostgreSQL MySQL 管理和监控 项目相关 设计模式 Web 大数据 编程艺术 其它 语言相关类 Android APP AWK C/C++ C...