计算机科学的数学基础

本书系统介绍计算机科学的基础理论，内容共分为四个部分（共19章）：第一部分形式语言及自动机理论，第二部分可计算理论，第三部分逻辑学，第四部分程序设计理论。该书可作为研究生的选修教材和一级学科硕士研究生的必修课教材。