计算机科学的数学基础【周经野，刘任任编著】-PDF电子版

书籍名称：计算机科学的数学基础

页数：343

作者：周经野，刘任任编著

出版时间：2007

ISBN：9787811280067

出版社：湘潭：湘潭大学出版社

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

前部分目录

第一部分 形式语言与自动机理论——1
第一章 语言与正规语言——1
符号、符号串及其运算——1
文法与语言的形式定义——3
正规表达式——12
正规文法与正规式——16
第二章 有限自动机——20
有限自动机的定义与构造——20
确定的有限自动机（DFA）——22
不确定的有限自动机（NFA）——23
NFA的确定化——25
DFA的最小化——28
正规集与有限自动机的等价性——31
双向有限自动机——33
具有输出的有限自动机——36
第三章 正规集的性质——39
······
······
······