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
[if !supportLists]1. [endif]计算机科学分为计算机理论和计算机应用。计算机基础理论包含以下几部分：
[if !supportLists]1.1. [endif]( 1)程序理论( 程序逻辑、程序正确性验证、形式开发方法等)
[if !supportLists]1.2. [endif]( 2)计算理论( 算法设计与分析、复杂性理论、可计算性理论等)
[if !supportLists]1.2.1. [endif]算法与算法复杂性理论
[if !supportLists]1.3. [endif]( 3)语言理论( 形式语言理论、自动机理论、形式语义学、计算语言学等)
[if !supportLists]1.3.1. [endif]图灵的秘密_360百科
[if !supportLists]1.3.2. [endif]编译原理
[if !supportLists]1.4. [endif]( 4)人工智能( 知识工程、机器学习、模式识别、机器人等)
[if !supportLists]1.5. [endif]( 5)逻辑基础( 数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等)
[if !supportLists]1.6. [endif]( 6)数据理论( 演绎数据库、关系数据库、面向对象数据库等)
[if !supportLists]1.7. [endif]( 7)计算机数学( 符号计算、数学定理证明、计算几何等）
[if !supportLists]1.8. [endif]( 8)并行计算( 网络计算、分布式并行计算、大规模并行计算、演化算法等) [1]
[if !supportLists]2. [endif]其他
自动机
形式语言
克劳德·香农发展通信理论产
控制论》是一本古怪而小巧的书，里面有很多篇幅的数学公式和令人目眩的、不太切合实际的议论。在引言里，维纳对那些启发过他的人们表示了感谢，包括麦卡洛克
[if !supportLists]2.1. [endif]控制论》
维纳并不是一个狂热的纯技术狂。他也很关心这个新的科学技术对人类的影响。他写了《人有人的用处：控制论与社会》（The Human Use of Human Beings: Cybernetics and Society），作为1948年《控制论》的补充。
[if !supportLists]2.2. [endif]《自动机研究》
自动机和图灵机的不断研究诞生了几部经典的开山之作，如通信理论的创始人香农和人工智能的先驱之一、也是Lisp语言的创造者约翰·麦卡锡合著的《自动机研究》（Automata Studies），由普林斯顿大学出版社在1956年出版。这本书包含了冯·诺依曼、克莱尼和人工智能先驱之一的马文·明斯基的几篇关于自动机的论文，也包含了香农和马丁·戴维斯关于图灵机的第一篇论文
七周七语言:理解多种编程范型
[if !supportLists]2.3. [endif]软件随想录
[if !supportLists]2.4. [endif]人月神话
[if !supportLists]2.5. [endif]软件架构
[if !supportLists]2.6. [endif]知识工程
[if !supportLists]2.7. [endif]
[if !supportLists]2.8. [endif]泛逻辑学原理
[if !supportLists]2.9. [endif]知识发现
[if !supportLists]3. [endif]Ref
Atitit.软件开发经典书籍
atitit v3 软件开发推荐书籍r612 .xlsx
网友评论