计算机科学的数学基础

作(译)者: 周经野 刘任任  丛书名:
印张: 书号: 978-7-81128-006-7
开本: 16 版次: 2007年10月第一版第一次印刷
装订: 平装 定价: 45元

内容介绍

精彩点评

作者简介

      本书是由全国知名计算机科学专家周经野、刘任任教授共同编著的适于作为计算机科学技术专业硕士生的,也适合于计算机科学技术专业本科生高年级选修课的精品教材。本书较全面、系统地介绍了现代计算机科学的数学基础理论,从形式语言与自动机理论、可计算理论、逻辑学、程序设计理论四个部分入手,详细介绍了各类形式语言、自动机以及它们的性质,包括图灵机和部分递归函数在内的计算模型以及可判定性理论、现代最主要的逻辑学理论、程序的指称语义和公理语义以及它们在程序设计和正确性证明中的应用。本书内容详实丰富,深入浅出,可读性好,并附有较丰富的习题,也可以作为相应专业科技人员的参考书。