2.4 命题逻辑推理理论? 2.4.1 推理的形式结构– 推理的前提与结论,正确推理– 推理定律? 2.4.2 自然推理系统P– 推理规则– 直接证明法, 附加前提证明法,归谬法(反证法), 归结证明法 推理定律——重言蕴涵式 左边是真的，右边就是真的。 7、拒取式：-> 非B --> 非A 8、假
分类：
其他好文 时间：
2016-02-12 16:16:37
阅读次数：
487
A typical recursion use: class Solution(object): max_size = 0 # return: isValid, minVal, maxVal, nodeCnt def go(self, root): if root.left is None and
分类：
其他好文 时间：
2016-02-12 15:09:18
阅读次数：
169
Spring的处理器映射 (handler mapping) 机制包括截断器 (handler interceptors)， 截断器用于对request增加特定的处理。 截断器必须实现org.springframework.web.servlet包中的HandlerInterceptor接口。Han
分类：
其他好文 时间：
2016-02-12 15:10:36
阅读次数：
179
1 /** 2 * Definition for a binary tree node. 3 * struct TreeNode { 4 * int val; 5 * TreeNode *left; 6 * TreeNode *right; 7 * TreeNode(int x) : val(x),
分类：
其他好文 时间：
2016-02-12 15:10:29
阅读次数：
172
Given n, how many structurally unique BST's (binary search trees) that store values 1...n? 1 class Solution { 2 public: 3 int numTrees(int n) { 4 int
分类：
其他好文 时间：
2016-02-12 15:09:01
阅读次数：
135
<?xml version="1.0" encoding="utf-8"?><ScrollView xmlns:android="http://schemas.android.com/apk/res/android" android:layout_width="match_parent" andro
分类：
其他好文 时间：
2016-02-12 15:10:08
阅读次数：
230
从迭代器中取值切记需要判断是否为空 例如： 1 vector<int> vtTest; 2 vtTest.clear(); 3 if (vtTest.empty()){ 4 return 0; 5 } 6 7 int *pTest = &vtTest[0]; 如果没有忘了判断则会出现这样的异常_DE
分类：
其他好文 时间：
2016-02-12 15:10:35
阅读次数：
199
SRAM,SDRAM,网卡有地址总线。由cpu统一编址。 NAND flash没有地址总线。 因 此有这两者寻址方式不同。 字符设备驱动程序的框架。 驱动程序 1.有led.read,led.write,led.open 这些函数，2.定义了—个结构体fileoperation,这个结构体包括指向l
分类：
其他好文 时间：
2016-02-12 15:08:14
阅读次数：
134
Count the string Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 7190 Accepted Submission(s): 331
分类：
其他好文 时间：
2016-02-12 15:08:50
阅读次数：
254
public class TestVoidMethod { public static void main(String[] args) { printGrade(78.5); } public static void printGrade(double score) { if (score >=
分类：
其他好文 时间：
2016-02-12 15:08:42
阅读次数：
148
public static int N; public static int NLength;//N数字的长度 public static int kinds;
分类：
其他好文 时间：
2016-02-12 15:07:38
阅读次数：
118
var http = require('http'); var url = require('url'); var fs = require('fs'); var querystring = require('querystring'); var server = http.createServer
分类：
其他好文 时间：
2016-02-12 15:06:37
阅读次数：
193
public class GregorianCalendarDemo { public static void main(String args[]) { String months[] = { "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Au
分类：
其他好文 时间：
2016-02-12 15:06:05
阅读次数：
125
Repair the Wall Problem Description Long time ago , Kitty lived in a small village. The air was fresh and the scenery was very beautiful. The only thi
分类：
其他好文 时间：
2016-02-12 15:04:44
阅读次数：
248
今年暑假不AC Problem Description “今年暑假不AC？”“是的。”“那你干什么呢？”“看世界杯呀，笨蛋！”“@#$%^&*%...”确实如此，世界杯来了，球迷的节日也来了，估计很多ACMer也会抛开电脑，奔向电视了。作为球迷，一定想看尽量多的完整的比赛，当然，作为新时代的好青年，
分类：
其他好文 时间：
2016-02-12 13:59:39
阅读次数：
155
Robberies Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 18064 Accepted Submission(s): 6671 Prob
分类：
其他好文 时间：
2016-02-12 14:01:57
阅读次数：
239
题目链接：Monkey and Banana 大意：给出n种箱子的长宽高。每种不限个数。可以堆叠。询问可以达到的最高高度是多少。 要求两个箱子堆叠的时候叠加的面。上面的面的两维长度都严格小于下面的。 简单的DP，依然有很多地发给当时没想到。比如优先级，比如这么简单粗暴的选择。 1 /* 2 大意是。
分类：
其他好文 时间：
2016-02-12 13:59:36
阅读次数：
221
