Atitit 软件理论方面的书籍 目录 1. 计算机科学分为计算机理论和计算机应用。 计算机基础理论包含以下几部分: 2 1.1. ( 1) 程序理论( 程序逻辑、程序正确性验证、形式开发方法等
Atitit 软件理论方面的书籍
目录
1. 计算机科学分为计算机理论和计算机应用。 计算机基础理论包含以下几部分: 2
1.1. ( 1) 程序理论( 程序逻辑、程序正确性验证、形式开发方法等) 2
1.2. ( 2) 计算理论( 算法设计与分析、复杂性理论、可计算性理论等) 2
1.3. ( 3) 语言理论( 形式语言理论、自动机理论、形式语义学、计算语言学等) 2
1.4. ( 4) 人工智能( 知识工程、机器学习、模式识别、机器人等) 3
1.5. ( 5) 逻辑基础( 数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等) 3
1.6. ( 6) 数据理论( 演绎数据库、关系数据库、面向对象数据库等) 3
1.7. ( 7) 计算机数学( 符号计算、数学定理证明、计算几何等) 3
1.8. ( 8) 并行计算( 网络计算、分布式并行计算、大规模并行计算、演化算法等) [1] 3
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