否定联结词¬ 合取联结词 析取联结词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