形式化
寒假任务：
《Learning Markov Decision for ModelChecking》
《Approximate Probablistic Model Checking for Programs》
《Towards a Theory for Cyber-Physical Systems Modeling》
《Learning and Model-Checking Networks of I/O Automata》
《具有程序静态结构和动态行为语义的时序逻辑》
《面向计算机科学的数理逻辑-系统建模与推理》
第三章 通过模型检测进行严重（LTL+CTL）
java
《大话设计模式》
《Java核心API（下）》
机器学习
《统计学习方法》
算法
《数据结构与算法分析》
网站
《HTML和CSS》
原文：http://www.cnblogs.com/darkworker/p/6291054.html