数理逻辑：命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论 命题：能判断真假的陈述句。（感叹句、疑问句、祁使句都不是命题） 命题分为简单命题和复合命题。 简单命题符号化：用小写英文字母p，q，r，…表示简单命题。 （2）用“1”表示真，用“0”表示假
分类：
其他好文 时间：
2016-02-23 20:43:41
阅读次数：
274
1. !!和??两个简写符号，可以让我偷电缆（偷点懒）${obj.name!!} = ${obj.name?default('')} = 对象user，name为user的属性的情况，user，name都有可能为空，那么可以写成${(user.name)!''},表示user或者name为null，...
分类：
其他好文 时间：
2016-02-23 20:43:27
阅读次数：
223
在平时的Javaweb项目开发中为了便于后期的维护，我们一般会进行分层开发，最常见的就是分为domain（域模型层）、dao（数据库访问层）、service（业务逻辑层）、web（表现层），这样分层之后，各个层之间的职责会比较明确，后期维护起来也相对比较容易，今天我们就是使用Maven来构建以上的各
分类：
其他好文 时间：
2016-02-23 20:41:33
阅读次数：
192
UITableView 简单使用 遵守数据源协议和代理协议，创建tableView，指定数据源和代理 1. //创建一个 TabView2. UITableView *tabView = [[UITableView alloc] initWithFrame:self.view.bounds3. st
分类：
其他好文 时间：
2016-02-23 20:40:43
阅读次数：
210
1、编写Java程序，实现判断变量X是奇数还是偶数。 package com.hanqi; import java.util.Scanner; public class Exercise1 { public static void main(String[] args) { System.out.p
分类：
其他好文 时间：
2016-02-23 20:40:44
阅读次数：
276
public void getLogToLocal(Throwable e) { StringBuffer sb = new StringBuffer(); Writer write = new StringWriter(); PrintWriter print = new PrintWriter(
分类：
其他好文 时间：
2016-02-23 20:39:01
阅读次数：
184
帮师兄做的一个问题，就是求对n个不同节点能够形成所有的二叉树的形式，不考虑旋转对称性和同构。 问题描述：给定n个节点，查看能够有多少种不同的二叉树形成，并输出出来 算法描述：使用最基本的“分治法“（Divide and Conquer）思想，任选一个节点作为根节点，将剩余节点组成的集合进行分割（Pa
分类：
其他好文 时间：
2016-02-23 20:39:05
阅读次数：
190
如果你熟悉Java，你会很开心地发现Java基本类型和操作符在Scala里有同样的意思。然而即使你是一位资深Java开发者，这里也仍然有一些有趣的差别使得本章值得一读。因为本章提到的一些Scala的方面实质上与Java相同，我们插入了一些注释，Java开发者可以安全跳过，以加快你的进程。本章里，你会
分类：
其他好文 时间：
2016-02-23 20:38:11
阅读次数：
301
Smith–Waterman algorithm，Needleman-Wusch algorithm
分类：
其他好文 时间：
2016-02-23 20:38:01
阅读次数：
206
这是去年合肥的另一道签到。。。题目其实很简单。。。仔细想想范围就能推出来了，第一二维存位置，但显然不够，所以开第三维，由于空间限制只能在和以及平方和二选一，由于平方和太大，所以只能存和。然后dp的值如果存为方差*n的话，显然还需要一维存平方和，但仔细看看式子，如果和以及平方和知道了，也就知道方差了，
分类：
其他好文 时间：
2016-02-23 20:36:47
阅读次数：
207
- (void)viewDidLoad { [super viewDidLoad]; // 1.返回水印图片 UIImage *newImage = [UIImage waterImageWithBg:@"scene" logo:@"logo"]; // 2.显示图片 self.iconView.i
分类：
其他好文 时间：
2016-02-23 20:37:19
阅读次数：
178
Eva would like to make a string of beads with her favorite colors so she went to a small shop to buy some beads. There were many colorful strings of b
分类：
其他好文 时间：
2016-02-23 20:38:37
阅读次数：
238
局部内部类(即:定义在方法中的内部类),访问方法中的局部变量 ： 局部变量的生命周期与对象的生命周期的不一致性!方法在执行完方法的局部变量就消失，而内部类如果有引用还是存在的，那么将找不到变量。此时设计的做法是复制一份参数，为了保证复制的参数和方法的变量的一致，就需要保证其引用的对象不变，否则方法的
分类：
其他好文 时间：
2016-02-23 20:37:43
阅读次数：
188
前面写到过Linux下tomcat服务器的部署，实际上只要域名正常解析到了服务器，那么不用绑定域名也是可以正常访问的，比如默认情况下访问xxx.net:8080与www.xxx.net:8080都可以正常访问，因为默认tomcat绑定位置是localhost，而带www的主机和不带www的主机都已经
分类：
其他好文 时间：
2016-02-23 20:36:49
阅读次数：
132
达神主席树讲解传送门：http://blog.csdn.net/dad3zz/article/details/50638026 2016-02-23：真的是模板题诶，主席树模板水过。今天新校网不好，没有评测，但我立下flag这个代码一定能A。我的同学在自习课上考语文，然而机房党都跑到机房来避难了\(
分类：
其他好文 时间：
2016-02-23 20:36:01
阅读次数：
208
参考文章： http://www.zhangxinxu.com/wordpress/2014/02/es6-javascript-promise-%E6%84%9F%E6%80%A7%E8%AE%A4%E7%9F%A5/
分类：
其他好文 时间：
2016-02-23 20:33:46
阅读次数：
137
Link 暴力 Code： 1 #include<bits/stdc++.h> 2 3 void solve(); 4 int __search(int a,int b,int c); 5 6 int f[128][128][128]; 7 8 int main(){ 9 int t; 10 sca
分类：
其他好文 时间：
2016-02-23 20:34:53
阅读次数：
147
