| 1 |
算法：技术与理论 |
Algorithms: Technology and Theory |
| 2 |
介绍数理逻辑 |
Introduction to Mathematical Logic |
| 3 |
组合数学与图论 |
Combinatorics and Graph Theory |
| 4 |
并行算法 |
Parallel algorithm |
| 5 |
形式语义和验证 |
Formal Semantics and Verification |
