复旦大学：《数据结构与算法设计》综合项目_Project2. English-Chinese dictionary based on binary search tree

1.1 Definition of algorithm 1.2 Insertion sort and merge sort 1.3 Running time and asymptotic analysis 1.4 Θ-notation, Ω-notation, and O-notation 1.5 Recurrences 1.6 Substitution, recursion-tree method, and master method

3.1 Definition of data structure 3.2 Stacks 3.3 Queues 3.4 Linked lists 3.5 Trees 3.6 Postfix expression 3.7 Infix to postfix conversion

CH1：微型计算机概论 CH2：微处理器 CH3：总线驱动 CH4：存储器系统设计 CH5-6：I/O接口

5.1 Dictionary problem 5.2 Hash functions 5.3 Collisions resolution by chaining 5.4 Open addressing 5.5 Probing strategies: linear, quadratic, and double hashing 5.6 Analysis of open addressing

一个程序验证器的设计和实现 An Automatic Program Verifier for PointerC

安全语言PointerC的设计及形式证明 Design and proof of a safe programming language Pointer

6-1 系统的设计与校正问题 6-2 串联校正 6-3 反馈校正 6-4 复合校正

烟台理工学院：《计算机控制系统课程设计》课程教学大纲 Course Design of Computer Control

烟台理工学院：《深度学习课程设计》教学大纲