计算机科学数学基础,《计算机科学的数学基础》周经野、刘任任 著_孔网

《计算机科学的数学基础》共分形式语言与自动机理论，可计算理论，逻辑学，程序设计理论等四个部分。内容包括：语言与正规语言；有限自动机；短语结构语言与上下文有关语言；可计算理论；模糊逻辑等。《计算机科学的数学基础》内容丰富，讲解通俗易懂，具有很强的可读性。

形式语言与自动机理论、可计算理论、逻辑学和程序设计理论，都是研究计算模型的。它们之间也是相互关联的，共同构成了现代计算机科学技术的理论基础。这些理论都是属于数学学科的。形式语言与自动机理论、可计算理论和逻辑学的研究都始于20世纪初叶，特别是20世纪30年代的数学家Church(邱奇)、GMel(哥德尔)、Kleene(克林)、Post(波斯特)以及Turing(图灵)等人的杰出工作催生了现代电子数字计算机的硬件和软件的诞生。程序设计理论的研究相比则要迟一些，是20世纪后半叶现代电子数字计算机以及程序设计语言和软件诞生之后的事情了。它是专门研究程序设计语言和程序设计方法的数学理论。这些工作对于计算机科学的实践和理论的发展有着深远的影响。比如，图灵机模型就被证明是现代电子数字计算机的理论模型。这些先驱者的工作在今天看来似乎是很平常的，它们的思想渊源甚至并不为今天众多的计算机的使用者所知道。但是这些先驱者的工作确实是应该被那些从事计算机科学技术的工作者们所熟悉、所掌握的。因为这些思想和方法将对他们的工作产生很重要的启示和指导作用。正是因为这一点，形式语言与自动机理论、可计算理论、逻辑学和程序设计理论一直以来都是国内外计算机科学技术专业硕士研究生的课程，而且还是作为重要的课程来开设的。 第一部分形式语言与自动机理论

第一章语言与正规语言

1.1符号、符号串及其运算

1.2文法与语言的形式定义

1.3正规表达式

1.4正规文法与正规式

第二章有限自动机

2.1有限自动机的定义与构造

2.2确定的有限自动机(DFA)

2.3不确定的有限自动机(NFA)

2.4NFA的确定化

2.5DFA的最小化

2.6正规集与有限自动机的等价性

2.7双向有限自动机

2.8具有输出的有限自动机

第三章正规集的性质

3.1正规集的泵作用引理

3.2正规集的封闭性质

3.3正规集的一些判定算法

第四章上下文无关语言

4.1上下文无关文法

4.2上下文无关文法的简化

4.3Chomsky范式

4.4Greibach范式

4.5先天歧义的上下文无关语言的存在

第五章下推自动机

5.1非形式的描述

5.2下推自动机的定义

5.3下推自动机和上下文无关语言

第六章上下文无关语言的性质

6.1对CFL的泵作用引理

6.2上下文无关语言的封闭性质

6.3CFL的某些判定算法

第二部分可计算理论

第七章图灵机

7.1图灵机模型

7.2可计算语言和函数

7.3图灵机的构造技术

7.4图灵机的修改

7.5Church假设

7.6图灵机作为枚举器

7.7等价于基本模型的受限图灵机

第八章短语结构语言与上下文有关语言

8.1短语结构语言与图灵机

8.2上下文有关语言与线性有界自动机

8.3上下文无关语言与递归集合

8.4上下文有关语言类的性质

第九章可判定性

9.1递归语言和递归可枚举语言的性质

9.2通用图灵机和一个不可判定问题

9.3RICE定理和某些其他的不可判定问题

9.4POST对应问题的不可判定性

9.5图灵机的有效计算和无效计算

9.6Greibach定理

9.7圣人计算

第十章可计算理论

10.1原始递归函数

10.2递归函数与部分递归函数

10.3图灵机与部分递归函数的等价性

第三部分逻辑学

第十一章命题逻辑与一阶逻辑

11.1命题逻辑的自然推理

11.2命题演算的公理系统

11.3PC的可靠性与一致性

11.4PC的完备性

11.5一阶逻辑

第十二章直觉主义逻辑

12.1直觉主义的一些基本观点

12.2一阶直觉主义逻辑的形式化

12.3完全性定理

第十三章模态逻辑

13.1模态词“必然”与“可能”

13.2模态命题逻辑系统

13.3模态狭义谓词逻辑

第十四章非单调逻辑

14.1单调性与非单调性

14.2非单调逻辑

14.3缺省推理

14.4非单调逻辑系统

14.5限定理论

第十五章模糊逻辑

15.1逻辑与不确定性的研究

15.2模糊集

15.3模糊逻辑的代数模型——De-Morgan代数

15.4模糊变量与模糊逻辑公式(函数)

15.5模糊逻辑真值表与范式

15.6模糊逻辑公式的极小化

15.7似然推理

15.8模糊归纳推理

第十六章多值逻辑

16.1三值逻辑

16.2多值命题逻辑

16.3三值逻辑代数系统

16.4n值逻辑代数系统

16.5阈值逻辑

第四部分程序设计理论

第十七章程序的指称语义

17.1把程序看作函数

17.2序列程序结构的程序函数

17.3分支程序结构的程序函数

17.4循环程序结构的程序函数

17.5循环程序的正确性证明

第十八章程序的公理语义

18.1程序的公理语义

18.2霍尔公理系统

18.3最弱前置谓词与程序的公理语义

第十九章程序的形式推导

19.1程序形式推导的基本思想

19.2选择语句的设计

19.3循环程序的设计

19.4不变式与界函数的构造

第二十章递归程序理论

20.1递归的基本概念

20.2递归数据结构

20.3递归程序的证明

习题

参考文献

内容简介:

《计算机科学的数学基础》共分形式语言与自动机理论，可计算理论，逻辑学，程序设计理论等四个部分。内容包括：语言与正规语言；有限自动机；短语结构语言与上下文有关语言；可计算理论；模糊逻辑等。《计算机科学的数学基础》内容丰富，讲解通俗易懂，具有很强的可读性。

形式语言与自动机理论、可计算理论、逻辑学和程序设计理论，都是研究计算模型的。它们之间也是相互关联的，共同构成了现代计算机科学技术的理论基础。这些理论都是属于数学学科的。形式语言与自动机理论、可计算理论和逻辑学的研究都始于20世纪初叶，特别是20世纪30年代的数学家Church(邱奇)、GMel(哥德尔)、Kleene(克林)、Post(波斯特)以及Turing(图灵)等人的杰出工作催生了现代电子数字计算机的硬件和软件的诞生。程序设计理论的研究相比则要迟一些，是20世纪后半叶现代电子数字计算机以及程序设计语言和软件诞生之后的事情了。它是专门研究程序设计语言和程序设计方法的数学理论。这些工作对于计算机科学的实践和理论的发展有着深远的影响。比如，图灵机模型就被证明是现代电子数字计算机的理论模型。这些先驱者的工作在今天看来似乎是很平常的，它们的思想渊源甚至并不为今天众多的计算机的使用者所知道。但是这些先驱者的工作确实是应该被那些从事计算机科学技术的工作者们所熟悉、所掌握的。因为这些思想和方法将对他们的工作产生很重要的启示和指导作用。正是因为这一点，形式语言与自动机理论、可计算理论、逻辑学和程序设计理论一直以来都是国内外计算机科学技术专业硕士研究生的课程，而且还是作为重要的课程来开设的。

目录:

第一部分形式语言与自动机理论

第一章语言与正规语言

1.1符号、符号串及其运算

1.2文法与语言的形式定义

1.3正规表达式

1.4正规文法与正规式

第二章有限自动机

2.1有限自动机的定义与构造

2.2确定的有限自动机(DFA)

2.3不确定的有限自动机(NFA)

2.4NFA的确定化

2.5DFA的最小化

2.6正规集与有限自动机的等价性

2.7双向有限自动机

2.8具有输出的有限自动机

第三章正规集的性质

3.1正规集的泵作用引理

3.2正规集的封闭性质

3.3正规集的一些判定算法

第四章上下文无关语言

4.1上下文无关文法

4.2上下文无关文法的简化

4.3Chomsky范式

4.4Greibach范式

4.5先天歧义的上下文无关语言的存在

第五章下推自动机

5.1非形式的描述

5.2下推自动机的定义

5.3下推自动机和上下文无关语言

第六章上下文无关语言的性质

6.1对CFL的泵作用引理

6.2上下文无关语言的封闭性质

6.3CFL的某些判定算法

第二部分可计算理论

第七章图灵机

7.1图灵机模型

7.2可计算语言和函数

7.3图灵机的构造技术

7.4图灵机的修改

7.5Church假设

7.6图灵机作为枚举器

7.7等价于基本模型的受限图灵机

第八章短语结构语言与上下文有关语言

8.1短语结构语言与图灵机

8.2上下文有关语言与线性有界自动机

8.3上下文无关语言与递归集合

8.4上下文有关语言类的性质

第九章可判定性

9.1递归语言和递归可枚举语言的性质

9.2通用图灵机和一个不可判定问题

9.3RICE定理和某些其他的不可判定问题

9.4POST对应问题的不可判定性

9.5图灵机的有效计算和无效计算

9.6Greibach定理

9.7圣人计算

第十章可计算理论

10.1原始递归函数

10.2递归函数与部分递归函数

10.3图灵机与部分递归函数的等价性

第三部分逻辑学

第十一章命题逻辑与一阶逻辑

11.1命题逻辑的自然推理

11.2命题演算的公理系统

11.3PC的可靠性与一致性

11.4PC的完备性

11.5一阶逻辑

第十二章直觉主义逻辑

12.1直觉主义的一些基本观点

12.2一阶直觉主义逻辑的形式化

12.3完全性定理

第十三章模态逻辑

13.1模态词“必然”与“可能”

13.2模态命题逻辑系统

13.3模态狭义谓词逻辑

第十四章非单调逻辑

14.1单调性与非单调性

14.2非单调逻辑

14.3缺省推理

14.4非单调逻辑系统

14.5限定理论

第十五章模糊逻辑

15.1逻辑与不确定性的研究

15.2模糊集

15.3模糊逻辑的代数模型——De-Morgan代数

15.4模糊变量与模糊逻辑公式(函数)

15.5模糊逻辑真值表与范式

15.6模糊逻辑公式的极小化

15.7似然推理

15.8模糊归纳推理

第十六章多值逻辑

16.1三值逻辑

16.2多值命题逻辑

16.3三值逻辑代数系统

16.4n值逻辑代数系统

16.5阈值逻辑

第四部分程序设计理论

第十七章程序的指称语义

17.1把程序看作函数

17.2序列程序结构的程序函数

17.3分支程序结构的程序函数

17.4循环程序结构的程序函数

17.5循环程序的正确性证明

第十八章程序的公理语义

18.1程序的公理语义

18.2霍尔公理系统

18.3最弱前置谓词与程序的公理语义

第十九章程序的形式推导

19.1程序形式推导的基本思想

19.2选择语句的设计

19.3循环程序的设计

19.4不变式与界函数的构造

第二十章递归程序理论

20.1递归的基本概念

20.2递归数据结构

20.3递归程序的证明

习题

参考文献