Atitit 软件理论方面的书籍

Atitit 软件理论方面的书籍

目录

1. 计算机科学分为计算机理论和计算机应用。 计算机基础理论包含以下几部分： 2

1.1. ( 1) 程序理论( 程序逻辑、程序正确性验证、形式开发方法等) 2

1.2. ( 2) 计算理论( 算法设计与分析、复杂性理论、可计算性理论等) 2

1.2.1. 算法与算法复杂性理论 2

1.3. ( 3) 语言理论( 形式语言理论、自动机理论、形式语义学、计算语言学等) 2

1.3.1. 图灵的秘密_360百科 2

1.3.2. 编译原理 2

1.4. ( 4) 人工智能( 知识工程、机器学习、模式识别、机器人等) 3

1.5. ( 5) 逻辑基础( 数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等) 3

1.6. ( 6) 数据理论( 演绎数据库、关系数据库、面向对象数据库等) 3

1.7. ( 7) 计算机数学( 符号计算、数学定理证明、计算几何等） 3

1.8. ( 8) 并行计算( 网络计算、分布式并行计算、大规模并行计算、演化算法等) [1]  3

2. 其他 3

2.1. 控制论》 4

2.2. 《自动机研究》 4

2.3. 软件随想录 5

2.4. 人月神话 5

2.5. 软件架构 5

2.6. 知识工程 5

2.7. 5

2.8. 泛逻辑学原理 5

2.9. 知识发现 5

3. Ref 5

1. 计算机科学分为计算机理论和计算机应用。 计算机基础理论包含以下几部分：1.1. ( 1) 程序理论( 程序逻辑、程序正确性验证、形式开发方法等)1.2. ( 2) 计算理论( 算法设计与分析、复杂性理论、可计算性理论等)

1.2.1. 算法与算法复杂性理论

1.3. ( 3) 语言理论( 形式语言理论、自动机理论、形式语义学、计算语言学等)

1.3.1. 图灵的秘密_360百科1.3.2. 编译原理

1.4. ( 4) 人工智能( 知识工程、机器学习、模式识别、机器人等)1.5. ( 5) 逻辑基础( 数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等)1.6. ( 6) 数据理论( 演绎数据库、关系数据库、面向对象数据库等)1.7. ( 7) 计算机数学( 符号计算、数学定理证明、计算几何等）1.8. ( 8) 并行计算( 网络计算、分布式并行计算、大规模并行计算、演化算法等) [1] 

2. 其他

自动机

形式语言

克劳德·香农发展通信理论产

控制论》是一本古怪而小巧的书，里面有很多篇幅的数学公式和令人目眩的、不太切合实际的议论。在引言里，维纳对那些启发过他的人们表示了感谢，包括麦卡洛克

2.1. 控制论》

维纳并不是一个狂热的纯技术狂。他也很关心这个新的科学技术对人类的影响。他写了《人有人的用处：控制论与社会》（The Human Use of Human Beings: Cybernetics and Society），作为1948年《控制论》的补充。

2.2. 《自动机研究》

自动机和图灵机的不断研究诞生了几部经典的开山之作，如通信理论的创始人香农和人工智能的先驱之一、也是Lisp语言的创造者约翰·麦卡锡合著的《自动机研究》（Automata Studies），由普林斯顿大学出版社在1956年出版。这本书包含了冯·诺依曼、克莱尼和人工智能先驱之一的马文·明斯基的几篇关于自动机的论文，也包含了香农和马丁·戴维斯关于图灵机的第一篇论文

七周七语言:理解多种编程范型

2.3. 软件随想录2.4. 人月神话2.5. 软件架构2.6. 知识工程2.7.  2.8. 泛逻辑学原理2.9. 知识发现

3. Ref

Atitit.软件开发经典书籍

atitit v3 软件开发推荐书籍r612 .xlsx