摘要：
1. 课程 算法，编译原理，形式化，程序化设计语言 选修课：好的书，好玩的地方介绍 重要的点，实验室的报告PDF，国外学者文档的制作--表达方式，学长的一些优秀的讲课文档，好的表达方式，给听讲者好的视觉和理解2. 硕士研究工作 逻辑验证，CEGAR，自己相关文档，和代码 Blast， SLAM，D 以及自己讲过的相关文档和PPT 学长们讲的PPT相关文档3. 苏州培训文档 coq相关的资料和代码，ARTIST暑期讲习班4. 本科毕业论文相关资料5. Verds相关的资料6. ocaml相关的资料7. 车辆预测8. 多处理器9. 逻辑验证----10. 模型检测-----11. ... 阅读全文
摘要：
o 数组中数据存储在内存中的实现方式 数据长度的大小，数组的大小，对数据的读取会有影响o 数据结构和数据实现 结构体中成员在内存中的实现o 指针使用 ** *&o 类中构造函数和解析函数 父类 子类 成员变量的初始化o 链表，栈与堆，二叉树 二叉树节点定义如下：struct BinaryTreeNode{ int m_nValue; BinaryTreeNode* m_pLeft; BinaryTreeNode* m_pRight;}; //定义链表节点typedefstructNode { intdata;//数据域 structNode*pNext;//指针域}... 阅读全文