Abstract concepts that underlie much advanced work in computer science, with major emphasis on formal language, models of computation, logic, and proof stategies.

• 强调在计算机科学的先进的工作，与对计算规范语言、模型，逻辑和证明战略的主要重点的抽象概念。