Alt+/ 内容提示 sysCtrl+Alt+↓ 快速的复制当前行Alt+↑或↓
快速一定当前行Ctrl+Shift+F 格式化Ctrl+/ 单行注释,再次使用取消注释Ctrl+shift+/
多行注释,取消注释Ctrl+shift+\Ctrl+shift+O 导包语句,该快捷键一次性可以导入多.....
分类:
系统相关 时间:
2014-05-09 23:34:01
阅读次数:
409
参考MyBatis官方文档。基本开发步骤:一、导包,mybatis-3.2.7.jar;二、编写实体类Customer.java(与数据库表对应);三、编写实体类对应的mapper接口CustomerMapper.java(定义实体类的操作);四、编写实体类对应的mapper,Customer.xm...
分类:
其他好文 时间:
2014-05-08 22:40:09
阅读次数:
415
从计算的本质到编程语言,所谓计算,是构建在一套公理体系上的,并且在此基础上不断向上演化。
两大类型:数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等;符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明,几何命题的证明等;
两种范式:计算理论的研究:侧重于从数学角度证明表达能力和正确性,比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究:侧重于对真实系统的建模和刻画;...
分类:
编程语言 时间:
2014-04-30 22:31:39
阅读次数:
571