JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA ...
分类：
其他好文 时间：
2020-05-23 00:09:49
阅读次数：
58
写在前面 支撑SQL和关系数据库的基础理论： 数学领域的集合论 和 逻辑学标准体系的谓词逻辑 理论篇 什么是谓词？谓词是返回值为真值( true false unknown )的函数 关系数据库里，每一个行数据可以看作是一个命题 实体的阶层 0阶实体(单行) 1阶谓词( = between and) ...
分类：
数据库 时间：
2019-09-28 18:11:41
阅读次数：
98
SQL支持用NULL符号来表示缺少的值，它使用的是三值谓词逻辑，计算结果可是以TURE、FALSE或UNKNOWN。 SQL中不同语言元素处理NULL和UNKNOWN的方式也有所不同，如果逻辑表达式只涉及已经存在的值，那么最终的计算结果只有二种，要么TRUE要么FALSE。但是当逻辑表达式涉及缺少的 ...
分类：
数据库 时间：
2019-07-19 12:14:10
阅读次数：
126
第三单元总结 JML相关 一 梳理JML语言的理论基础、应用工具链情况 JML是一种形式化的, 面向JAVA的行为接口规格语言( behavioral interface specification language) JML允许在规格中混合使用Java语法成分和JML引入的语法成分. JML主要是 ...
分类：
其他好文 时间：
2019-05-21 21:00:15
阅读次数：
126
一、谓词与谓词公式 谓词：表示个体词性质或相互之间关系的词 量词：用来表示个体数量的词是 谓词的量化：给谓词加上量词 一元目谓词P(x)、n元目谓词P(x, y, z, ...)它们是命题形式而非命题 因为既没有指定谓词符号P的含义，而且个体词x、y等也是个体变项而不代表某个具体的事物，从而无法确定 ...
分类：
其他好文 时间：
2019-04-09 23:25:10
阅读次数：
707
规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化，软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发，是一种应用较为广泛的形式规格说明语言，它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征 ...
分类：
其他好文 时间：
2018-05-29 13:59:08
阅读次数：
153
调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 ...
分类：
其他好文 时间：
2018-05-29 13:15:42
阅读次数：
153
若p为假，则q可取真或假，p->q为永真 若p为真，q为假，则p->q为假 若p为真，q为真，则p->q为真 1 因此 ...
分类：
其他好文 时间：
2017-12-07 21:04:39
阅读次数：
141
作为一名程序员，对于SQL的使用算是基础中的基础，虽然也写了很多年的SQL，但常常还是记不清一些常见的命令，故而通过一篇博文巩固相关的记忆，并把T-SQL本身的一些新特性再进行一次学习。 首先回顾基础的概念，这部分可以跳过哈，比较枯燥。结构化查询语言SQL是基于集合理论和谓词逻辑的，大学课程中数字逻 ...
分类：
数据库 时间：
2017-06-14 16:10:08
阅读次数：
162
iOS Predicate 即谓词逻辑。和数据库的SQL语句具有相似性，都是从数据堆中根据条件进行筛选。 1.使用场景： （1）NSPredicate给我留下最深印象的是两个数组求交集的一个需求，如果按照一般写法，需要2个遍历，但NSArray提供了一个filterUsingPredicate的方法 ...
分类：
移动开发 时间：
2016-09-10 15:58:58
阅读次数：
224
