baishunkm

中科院_国科大_算法

该文档为中科院-国科大，刘玉贵老师的计算机算法与分析2018复习大纲

中科院_国科大_数据库新技术

该文档为中科院-国科大的数据库新技术2018年的复习提纲

中科院_程序理论

国科大数理逻辑与程序理论的后半部分-程序理论讲义，詹乃军老师的课程可以参考