练习2.68先要导入练习2.67中的sample-tree。这道题要求我们写出能够根据给定的树产生出给定符号的二进制位表的函数encode-symbol，这个函数还要能够在遇到未在树中出现的符号时报错。这个函数将要在给定的树中查找给定符号的叶子节点，并记录下寻找过程中的左右方向，当然了，如书中所说，向左则用0，向右则用1。因此该函数可以如下列出。我们先来写那个检测错误的谓词。(define (sym...
分类：
其他好文 时间：
2015-03-05 13:06:03
阅读次数：
167
简述：Cocoa 提供了NSPredicate 用于指定过滤条件，谓词是指在计算机中表示计算真假值的函数，它使用起来有点儿像SQL 的查询条件，主要用于从集合中分拣出符合条件的对象，也可以用于字符串的正则匹配。定义(最常用到的方法)：NSPredicate*ca=[NSPredicatepredic...
分类：
移动开发 时间：
2015-03-02 10:49:10
阅读次数：
161
一、判断素数
可以写一个判断素数的谓词函数，即从2开始枚举到sqrt(x)(包括)。但这里参数x不能过大，过大就会因为i*i乘积过大溢出。
Code：
{CSDN:CODE:609701}
后面的内容都是基于这个函数。
二、构造素数表
//构造素数表
int cnt=0;
int prime[n+1];
for(int i=2;i<=n;++i)
if(is_prime(i...
分类：
其他好文 时间：
2015-03-01 11:55:56
阅读次数：
144
软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作：队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树...
分类：
其他好文 时间：
2015-02-15 16:22:36
阅读次数：
138
1）数据库完整性
①实体完整性（Entity Integrity）:自己
a）一个关系对应现实世界中一个实体集。--ER模型
b）现实世界中的实体具有某种惟一性标识。--主键
c）主关键字是多个属性的组合，则所有主属性均不得取空值。--隐含的索引
②域完整性（Domain Integrity）: 自己的局部
保证数...
分类：
数据库 时间：
2015-02-13 16:37:03
阅读次数：
195
只能说自己见识短，头一次听说Z语言。先普及一下吧：Z语言是由牛津大学程序设计研究小组开发的一种形式语言，它是一种以一阶谓词演算为主要理论基础的规约语言，是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格...
分类：
编程语言 时间：
2015-02-12 22:34:25
阅读次数：
362
向量(vector) 连续存储的元素列表(list) 由节点组成的双向链表，每个结点包含着一个元素双队列(deque) 连续存储的指向不同元素的指针所组成的数组集合(set) 由节点组成的红黑树，每个节点都包含着一个元素，节点之间以某种作用于元素对的谓词排列，没有两个不同的元素能够拥有相同的次序 多...
分类：
编程语言 时间：
2015-02-11 00:24:00
阅读次数：
286
1）视图重写
视图的类型：
a）用SPJ格式构造的视图，称为简单视图。
CREATE VIEW v1 AS SELECT x, y, z FROM t;
b）用非SPJ格式构造的视图（带有GROUPBY等操作），称为复杂视图。
CREATE VIEW v2 AS SELECT x, y, z FROM t ORDER BY x;
视图重写：...
分类：
数据库 时间：
2015-02-07 17:30:27
阅读次数：
226
??
练习1.33
题目第二行描述，只组合起由给定范围得到的项里的那些满足特定条件的项，因此我们需要在这一版本的accumulate中添加一个need-filter?，这个新的谓词可以用来传递下面就要用到的prime?。
(define (filtered-accumulateneed-filter? combiner null-value term a next b)
(...
分类：
其他好文 时间：
2015-02-07 11:50:50
阅读次数：
121
