They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.

• 尔后课程中将可利用这些方法来设计与分析算法、可计算理论、软件工程与计算机系统。