否定联结词¬ 合取联结词 析取联结词V 蕴涵联结词-> 等价联结词<-> 德摩根律 命题变项:取值为0或1的变元, 也用p,q,r等表示. 重言式(永真式)矛盾式(永假式)可满足式:不是矛盾式的命题公式 基本等值式 重要推理规则(推理定律) 谓词与量词 包含与相等 幂集 集合运算 基本集合恒等式
分类：
其他好文 时间：
2016-02-10 13:11:39
阅读次数：
273
Struts2 框架： 1、作用：封装了 jsp servlet ，按照 mvc 的开发模式 进行了封装。 2、Mvc： model one model two (mvc) model view controller 控制层 3、Struts1 struts2（xwork webwork （fram
分类：
其他好文 时间：
2016-02-10 13:09:17
阅读次数：
197
构造函数 example1： static void Main(string [] args) { SE engineer=new SE(); engineer.Age=25; enginner.Name="艾边成"; //省略其他属性赋值操作 Console.WriteLine(engineer....
逻辑推理的形式结构 直接证明法 间接证明法 归谬法(反证法) 数学归纳法
分类：
其他好文 时间：
2016-02-10 13:08:14
阅读次数：
210
由于是初学，犯了如下错误： 生成表的主键id时，用当前时间的毫秒值。而在oracle中定义主键id时，用的数据类型是char（32）。在mybatis中通过id取数据怎么也取不出来。想了好几天，本来以为是浏览器中取id是带有空值，于是乎就用trim()函数去除空值，但还是没有查出数据，最后才发现是数
分类：
数据库 时间：
2016-02-10 13:08:31
阅读次数：
274
1、缓存 2、Hibernate 缓存作用：为了提高查询效率。 3、第一次操作某个对象的时候，把操作的对象数据存储到缓存中，然后下一次在对同一个对象操作的时候，就不会在连接数据库。 4、Hibernate:一级缓存 二级缓存 查询缓存 等。 5、一级缓存： 1）一级缓存 是自动开启的，默认使用的 2
分类：
Web程序 时间：
2016-02-10 13:10:17
阅读次数：
148
创建文件： touch： 作用 修改文件时间戳。如果文件不存在，则创建新文件。 访问时间：读一次这个文件的内容，这个时间就会更新。 修改时间：文件内容最后一次被修改时间。 改变时间：该文件的inode节点最后一次被修改的时间。 选项 -c：不创建新文件。 --no-create：不创建新文件。 -a
分类：
系统相关 时间：
2016-02-10 13:06:45
阅读次数：
362
后面的没有怎么整理过了。 18号讲了一些hibernate的缓存技术。这个 spring框架给我们封装了。所以 就去做了项目。 19号，讲解了一些，利用 struts2 框架做页面正确性验证的内容，因为这个 要交给 客户端验证，所以就去做了项目。以及hibernate的反向工程。 20号有一个 属于
分类：
编程语言 时间：
2016-02-10 13:09:13
阅读次数：
209
using System; using System.Collections.Generic; using System.ComponentModel; using System.Data; using System.Drawing; using System.Text; using System.
分类：
数据库 时间：
2016-02-10 13:06:44
阅读次数：
244
Configuring Beans in the Spring IoC Container
这本书对spring bean的配置比较全面。
注：配置类似
http://www.springframework.org/schema/beans/spring-beans-3.0.xsd
的时候，xsd的版本号不要带，至于为什么，参考以前转载的老外博客。
Problem
Spring...
分类：
编程语言 时间：
2016-02-10 12:06:38
阅读次数：
284
0.前言：在路上，再上路在前言《程序员修炼之路-(0)前言：在路上, 再上路》中已经对知识体系进行了梳理，主要分为问题定义、算法与数据结构、系统平台API、编程语言实现、代码设计、测试验证等等。目前集中精力编写算法与数据结构部分，这可能也是最艰难的一部分。其他部分之前零零散散有所涉及，之后再慢慢补充。1.计算机数学离散数学与具体数学。2.算法分析设计对于这一部分的内容编排，主要以《算法设计与分析基础...
分类：
其他好文 时间：
2016-02-10 12:04:44
阅读次数：
170
Sencha Touch同样可以使用地图、多媒体等插件。
1、Map组件
我们通过Ext.Map定义Map组件，其xtype为map。除了使用该插件外，还要调用Google的地图API所使用的js文件，代码如下：
引入该文件后，我们就可以编写js代码来显示地图了：
Ext.require(‘Ext.Map’)
Ext.application({
//省略其他配置项....
分类：
移动开发 时间：
2016-02-10 12:03:12
阅读次数：
276
也刷leetcode， 先把锁掉的题目留备份好了： 156 Binary Tree Upside Down [1] Problem: Given a binary tree where all the right nodes are either leaf nodes with a sibling
分类：
其他好文 时间：
2016-02-10 12:05:05
阅读次数：
245
三元运算符： 语法为 exp1? exp2:exp3 判断 exp1是true 和 false 如果true,则返回exp2 ,如果false ，则返回exp3 1 <script> 2 if(5>1){ 3 alert("true") 4 }else{ 5 alert("false") 6 } 7
分类：
Web程序 时间：
2016-02-10 12:04:40
阅读次数：
155
//1.增加一个字段 alter table user add COLUMN new1 VARCHAR(20) DEFAULT NULL; //增加一个字段，默认为空 alter table user add COLUMN new2 VARCHAR(20) NOT NULL; //增加一个字段，默认
分类：
数据库 时间：
2016-02-10 12:02:40
阅读次数：
184
关于模糊查询， 被查询的字符串不能是 双引号 引起来的。只能是 单引号，否则会不执行的。 Select * from emp where name like '%A%' 这里面 是区分 单双引号的。在执行模糊查询的时候不能使用 单引号。 关于 oracle 数据库，查询的语句不区分大小写，也就是不管
分类：
其他好文 时间：
2016-02-10 12:03:08
阅读次数：
271
//针对myEclipse2014版本 怎样新建一个工程实现这些东西的导入。 打开myeclipse。 2、点击右上角的open perspective 找到这个 MyEclipse Database Explorer。点击ok。 3、右键新建数据库驱动器 4、新建这样一个用以链接的数据库： 5、然
分类：
Web程序 时间：
2016-02-10 12:02:57
阅读次数：
276
