内容提要通过递归对列表进行遍历，从而完成各种操作。member/2这个谓词逻辑通过递归遍历了列表，对列表头部有一些操作，然后递归地对列表尾部做另外一些相同的操作。通过递归遍历列表在Prolog是十分普遍的做法，事实上，我们必须要掌握这项技能。所以我们学习如下的例子。当我们使用列表的时候，我们经常会将...
分类：
其他好文 时间：
2015-07-13 13:38:09
阅读次数：
142
练习题3.1 在之前的章节中，我们已经讨论了如下的谓词逻辑： descend(X, Y) :- child(X, Y). descend(X, Y) :- child(X, Z), descend(Z, Y).假设我们将谓词逻辑重构如下: descend(X, Y) :- child(X, Y). ...
分类：
其他好文 时间：
2015-07-08 18:12:34
阅读次数：
183
软件工程中的形式化方法 形式化方法是将离散数学的方法用于解决软件工程里领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。基本概念有形式规约，形式证明与验证，程序求精。模态逻辑是经典命题逻辑和一维谓词逻辑的扩展形式。Kriple结构是模态逻辑的一个模型。时态逻辑中有一阶线性时态逻辑是一阶谓....
分类：
其他好文 时间：
2015-02-26 13:22:48
阅读次数：
124
1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作：队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树...
分类：
其他好文 时间：
2015-02-15 16:22:36
阅读次数：
138
模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式。一阶线性时态逻辑（FOLTL）是一阶谓词逻辑的扩展。计算树逻辑（CTL）是一种离散、分支时间、命题时态逻辑。Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入，输出和状态。Z语言表示抽象的要素总体上可分为两类：基于集合理论的集合、关系、函数、...
分类：
其他好文 时间：
2015-02-07 11:32:40
阅读次数：
112
理论背景1. SQL：Structured Query Language， 是RDBMS（Relational Database Management Systems）的查询和管理数据的标准语言。2. 理解集合理论和谓词逻辑，RDBMS基于这两个数学分支。3. SQL语句类别： Data Defi....
分类：
数据库 时间：
2014-10-27 17:03:25
阅读次数：
218
原文:SqlServer中的Null值空值问题sql使用的是三值谓词逻辑，所以逻辑表达式返回的结果可以为True、False或者未知，在三值逻辑中返回True与不返回False并不完全一样， SQL对查询过滤条件的处理：接受TURE 拒绝ＦＡＬＳＥ和UnKnown SQL对CHECK约束的处理：接受...
分类：
数据库 时间：
2014-09-25 03:04:38
阅读次数：
465
sql使用的是三值谓词逻辑，所以逻辑表达式返回的结果可以为True、False或者未知，在三值逻辑中返回True与不返回False并不完全一样，SQL对查询过滤条件的处理：接受TURE 拒绝ＦＡＬＳＥ和UnKnownSQL对CHECK约束的处理：接受FALSE 拒绝 TRUE和UNKnownUNKN...
分类：
数据库 时间：
2014-09-20 19:11:19
阅读次数：
218
在 SQL 中，实现的是三值谓词逻辑。通常一个命题要么为 TRUE，要么就为 FALSE。而在
SQL 中，它用 NULL
符号来表示缺少值。SQL的谓词的计算机结果可以是TRUE、FALSE或UNKNOWN(未知）。如果逻辑表达式只涉及已经存在的值，那么最终的计算机结果要么为TRUE，要么为FAL...
分类：
其他好文 时间：
2014-05-02 01:20:34
阅读次数：
357
