归结反演法 检查子句集S中是否包含空子句。若包含，则S不可满足；若不包含，就在子句集中选择合适的子句进行归结，一旦通过归结能推出空子句，就说明子句集S是不可满足的。（这是我的理解：如果论据是真的，最后肯定会推出一个最终结论，如果是假的，最后的结论肯定就为空了也就是没有结论） 2. 一个十分重要的公式 ...
分类：
其他好文 时间：
2017-12-26 17:47:34
阅读次数：
936
3.7 聚合（重点） 信息的统计操作就是聚合（直白：分组统计就是一种聚合操作）。 3.7.1 取的集合的数据量 对于集合的数据量而言，在MongoDB里面直接使用count()函数就可以完成。 范例：统计students表中的数据量 db.students.count() 范例：模糊查询 db.st ...
分类：
数据库 时间：
2017-12-07 18:48:50
阅读次数：
139
1、打印文件的第一列(域) ： awk '{print $1}' filename 2、打印文件的前两列(域) ： awk '{print $1,$2}' filename 3、打印完第一列，然后打印第二列 ： awk '{print $1 $2}' filename 4、打印文本文件的总行数 ： ...
分类：
其他好文 时间：
2017-12-02 13:00:30
阅读次数：
291
方法：将表达式转化为后缀表达式->枚举真值表->输出其合取析取范式 ...
分类：
其他好文 时间：
2017-11-27 23:45:52
阅读次数：
274
一、Redis基础部分: 1、redis介绍与安装比mysql快10倍以上 *****************redis适用场合**************** 1.取最新N个数据的操作 2.排行榜应用,取TOP N 操作 3.需要精确设定过期时间的应用 4.计数器应用 5.Uniq操作,获取某段时 ...
分类：
其他好文 时间：
2017-11-22 14:21:43
阅读次数：
129
功能：获取当前选中节点的子节点id集合。 步骤：1.获取当前节点 2.用ztree的方法transformToArray()获取当前选中节点（含选中节点）的子节点对象集合。 3.遍历集合，取出需要的值。 treeNode：当前选中节点对象 function getChildNodes(treeNod ...
分类：
其他好文 时间：
2017-10-24 13:17:54
阅读次数：
117
基本用法:查找并封装对象与对象集合 查 询出单行单列记录 将一列的数据存为集合取出 ...
分类：
数据库 时间：
2017-09-19 14:58:33
阅读次数：
245
1，static(默认) 当你没有为一个元素(例如div)指定定位方式时，默认为static，也就是按照文档的流式(flow)定位，将元素放到一个合适的地方。所以在不同的分辨率下，采用流式定位能很好的自适合，取得相对较好的布局效果。 一般来说，我们不需要指明当前元素的定位方式是static——因为这 ...
分类：
Web程序 时间：
2017-08-20 18:41:03
阅读次数：
297
转载请注明出处：http://blog.csdn.net/zhoubin1992/article/details/46910079 1 SAT问题描写叙述 命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 全然问题.在定义可满足性问题SAT之 ...
分类：
编程语言 时间：
2017-08-13 20:12:05
阅读次数：
334
切片1.什么叫切片数组，元组等含有多个元素的集合，取其中的一段元素的操作，叫做切片 2.取前10个元素 运行结果： 3.取10到20之间的数据 运行结果： 4.取倒数第10个以后的数据倒数第一个的index为-1，倒数第二个为-2，以此类推。 运行结果： 5.每5个数据取一个 运行结果： ...
分类：
编程语言 时间：
2017-08-07 22:19:09
阅读次数：
205
