For a more advanced graduate course, computability theory and computational complexity theory are also covered.

• 高级课程中还包括了可计算理论和计算复杂性理论。