英文原版LogicandLanguageModelsforComputerScience前半部分介绍了一些基本的离散数学概念后半部分涉及到编译过程中的语言识别