可计算否	可计算理论
能行可计算	计算复杂性理论
计算与分析算法	算法设计与分析
用计算机语言实现算法	数据结构与程序设计
软件系统	编译 OS
计算机硬件系统	计算机系统结构数字电路

Jianzhong Lee