各論的カリキュラムとしては、離散構造、プログラミング、計算理論、アルゴリズム解析、形式手法、並行性理論、データベース、コンピュータグラフィックス、システム解析などがある。
其中包括计算理论、算法分析、形式化方法、并行理论、数据库、计算机图形学以及系统分析等。