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

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。