1. 设 $A,B,C$ 都是集合 $M$ 的子集, 请证明: $$\bex (C\subset A)\wedge (C\subset B)\lra (C\subset A\cap B). \eex$$
分类：
其他好文 时间：
2015-01-23 19:43:13
阅读次数：
251
Collection:A collection is simply a grouping of documents that have the same or a similar purpose.A collection is not enforced by a strict schema. Ins...
分类：
数据库 时间：
2015-01-23 19:42:02
阅读次数：
152
以windows为例： 1. 关闭正在运行的MySQL服务。（services.msc运行停止服务） 2. 打开DOS窗口，转到mysql\bin目录。（输入cd..返回到c盘根目录下，一般MySQL安装在Program Files\MySQL\MySQL Server 5.5\bin） 3....
分类：
数据库 时间：
2015-01-23 19:41:35
阅读次数：
179
枚举（Enum）使用示例、枚举集（EnumSet）使用示例、常用算法、排序、二分查找、向量类（Vector）使用示例、栈（Stack）使用示例
分类：
编程语言 时间：
2015-01-23 19:40:41
阅读次数：
299
JQuery中的eq()这个事件jQuery.extend 函数详解http://www.cnblogs.com/RascallySnake/archive/2010/05/07/1729563.htmljQuery常用方法一览http://www.cnblogs.com/linzheng/arch...
分类：
其他好文 时间：
2015-01-23 19:42:20
阅读次数：
147
http://blog.chinaunix.net/uid-22566367-id-382011.html在Programming Erlang这本书中，在写到第十章中，主要实现的是不同节点之间的通信，书上列出了四步，其中的第一步很容易实现，依葫芦画瓢，很容易实现同一台机子上，不同节点之间的通信，运...
分类：
其他好文 时间：
2015-01-23 19:39:51
阅读次数：
131
curl -O http://mirrors.kernel.org/gnu/m4/m4-1.4.13.tar.gztar -xzvf m4-1.4.13.tar.gzcd m4-1.4.13./configure –prefix=/usr/localmakesudo make installcd ....
分类：
系统相关 时间：
2015-01-23 19:39:13
阅读次数：
287
/************************************************************************//* hdu 1879继续畅通工程Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 327...
分类：
其他好文 时间：
2015-01-23 19:40:31
阅读次数：
153
磁盘的常用接口有两种：IDE和SATA接口，目前主流的是SATA接口。IDE接口由IDE扁平电缆线连接，一个电缆可连接两个IDE接口，通常主机又都会提供两个IDE接口，因此最多可以接到四个IDE设备。这两个IDE接口通常称为IDE1及IDE2，而每条扁平电缆上面的IDE设备可以被区分为Master与...
分类：
系统相关 时间：
2015-01-23 19:38:52
阅读次数：
211
淘宝店装移植有一个神秘的模块，那就是—全屏轮播，这个神奇的模块，能提高店铺的档次，给与顾客视觉冲击，提升顾客印象但是由于淘宝常规用户不支持CSS（用来定义网页样貌的能力)，所以我们无法用简单的div+CSS来做出属于自己的全屏轮播强大的装修师们几经研究，终于摆脱了CSS的束绷，结合淘宝的轮播组件，单...
分类：
其他好文 时间：
2015-01-23 19:41:48
阅读次数：
224
注:Elasticsearch版本：1.4.2一、安装与配置1.从https://github.com/medcl/elasticsearch-analysis-ik下载elasticsearch-analysis-ik-master.zip2.解压elasticsearch-analysis-ik...
分类：
其他好文 时间：
2015-01-23 19:40:16
阅读次数：
16588
http://www.linuxidc.com/Linux/2012-08/68035.htm1、简介在关系型数据库中，join操作是将不同的表中的数据联合在一起时非常通用的一种做法。首先让我们看看join是如何操作的，然后我们探索一下当join和where语句同时存在的时候的执行顺序问题，最后来谈...
分类：
数据库 时间：
2015-01-23 19:38:19
阅读次数：
252
问题：MySQL从库的数据不能同步，从库SHOWSLAVESTATUS提示如下错误：Last_SQL_Error:Relaylogreadfailure:Couldnotparserelaylogevententry.Thepossiblereasonsare:themaster‘sbinarylogiscorrupted(youcancheckthisbyrunning‘mysqlbinlog‘onthebinarylog),theslave‘srelaylogi..
分类：
数据库 时间：
2015-01-23 18:37:18
阅读次数：
218
在控制器中：/**
*输出验证码
*/
publicfunctiongetverify(){
$VModle=new\Think\Verify();
$VModle->codeSet=‘0123456789‘;
$VModle->length=4;
$VModle->entry();
}在页面中的html<inputtype="text"name="verify"placeholder="验证码"class="form-control"style=..
分类：
Web程序 时间：
2015-01-23 18:35:11
阅读次数：
153
如何实现mysql读写分离：通常来说有两种方式：master<--->master(前读，后写)|1，应用程序层实现/\2，中间件层实现slaveslave应用层实现：应用层实现是指在应用程序内部及连接器中实现读写分离。例如：com.mysql.jdbc.replicationdrivermysqlnd_ms优点：程序内部实现读写..
分类：
数据库 时间：
2015-01-23 18:35:50
阅读次数：
240
1、JSP表达式语言：ELJSP标准标签库：JSTL2、JSP页面由静态内容和动态内容（java语句）组成，动态内容都放在<%%>里面，<%....%里的内容在JSP页面被翻译成Servlet过程中被提取出来成为普通java语句。3、myeclipse中的JSP（advancedtemplates）模板可以生成使用struts的..
分类：
Web程序 时间：
2015-01-23 18:35:18
阅读次数：
200
关于MySQLInnoDB表的二级索引是否加入主键，总结如下：1对于MySQLInnoDB表的二级索引是否加入主键，官方也有明确的说明，建议线上MySQL的二级索引创建时强制加入主键所有的列，可以做到所有的MySQL版本统一。2.MySQL5.6.9之前，InnoDB引擎层是会对二级索引做自动扩展，但是优化..
分类：
数据库 时间：
2015-01-23 18:35:57
阅读次数：
821
