Mthod of proof by cases 证明完所有的条件分支,然后得出结论。 证明任意 使用任意 注意,对于一个任意的东西,你不知道它的具体信息。比如对于任意正数,你不知道它是 1 还是 2等等。 使用矛盾 证明相反的结论是错误的 归纳法 Prove the initial step, th ...
分类:
其他好文 时间:
2017-06-04 15:38:26
阅读次数:
247
一、介绍。 /**************************************************************THINKING IN JAVA***************************************************************** ...
分类:
编程语言 时间:
2017-06-04 14:36:47
阅读次数:
135
受到Thinking in Java中静态引入(import static)的启发, Deolin也打算写一个方便自己的工具类,先从最简单的打印开始。 为了方便日后管理,代码以类库“commons-simplify”的形式托管到了Github。 工具类主要利用了 根据参数编译期的类型来选择哪个重载方 ...
分类:
其他好文 时间:
2017-05-30 20:56:09
阅读次数:
196
problem: Write a function to find the longest common prefix string amongst an array of strings. 寻找 0 ~n 个字符串的最长公共前缀 thinking: (1)公共前缀非常好理解。按位匹配就可以 (2) ...
分类:
其他好文 时间:
2017-05-30 16:12:58
阅读次数:
221
package unit02; /** * * @time 2014年9月18日 下午10:29:48 * @porject ThinkingInJava * @author Kiwi */ public class Test03 { private String getPathByPoint() ...
分类:
编程语言 时间:
2017-05-29 14:07:27
阅读次数:
216
java 线程 原子类相关操作演示样例 package org.rui.thread.volatiles; import java.util.Timer; import java.util.TimerTask; import java.util.concurrent.ExecutorService; ...
分类:
编程语言 时间:
2017-05-29 12:03:38
阅读次数:
187
01-面向对象(概述) 面向对象 -- 冰箱.打开;冰箱.存储;冰箱.关闭; 02-面向对象(举例) 使用和指挥 -- 对象,不需要关注过程,只关注结果; 一切皆对象,万物皆对象 -- 自《Thinking in java》 03-面向对象(类与对象的关系).avi /* 人开门:名词提炼法。 人 ...
分类:
编程语言 时间:
2017-05-26 10:59:08
阅读次数:
229
否定的逻辑 应该思考符号背后表示的逻辑,而不是像操作算术运算符一样操作逻辑符号。 比如 对于任意的 x,x属于自然数,那么 x 是偶数或者奇数;这是对的 如果使用“乘法分配律”拆分,变成“对于任意的x,x属于自然数,那么x是奇数或者对于任意的x,x属于自然数,那么x是奇数” 这是错的 疑惑 但是做练 ...
分类:
其他好文 时间:
2017-05-23 14:19:03
阅读次数:
179
there exists and all there exists 证明根号2是无理数 all 习题 3. Which of the following formal propositions says that there is no largest prime. (There may be mo ...
分类:
其他好文 时间:
2017-05-21 14:54:56
阅读次数:
220
学习Java已经有两年了,一直停留在一个比较浅层的理解层面上。在开发简单的小程序时,这些理解或许足够我完成任务,但面对稍有规模的项目时,却显得捉襟见肘,故决定深入了解Java。 本次深入学习是我大学生活中第一次从浅层向深层次的迈进,选择的读本是:Thinking in Java(第四版)。边度边做笔 ...
分类:
编程语言 时间:
2017-05-20 11:11:46
阅读次数:
145