形式化
待完成：
完成：
《具有程序静态结构和动态行为语义的时序逻辑》 (完成)
《Performace Evaluation》
java
《大话设计模式》
《Java核心API（下）》
机器学习
《统计学习方法》
算法
初学蚁群算法（ACO）
《数据结构与算法分析》
第四章 树（上）
第四章 树（下） 二叉树与二叉查找树
网站
《JavaScript高级程序设计》
《HTML和CSS》