Description

计算机科学所需的数学基础。主题包括证明技术和逻辑；感应; 集合，功能和关系；正式语言简介；DFA，NFA和正则表达式；上下文无关文法，图灵机和NP完整性。

Prerequisite

Programming Abstractions in C++