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
相关文章
- SpringBoot — 软件许可(License)证书生成+验证+应用完整流程
- 【说站】javascript中promise的特殊场景应用
- 关于影视软件Maya在物流装备领域中的应用
- IOS APPStore 上传更新应用版本 软件
- rabbitMQ系列高级整合应用rabbitTemplate
- 《软件绿色联盟应用体验标准5.1·安全标准》正式发布
- 国内移动应用开发平台哪家强?
- 下(应用篇)| 量子计算与开源软件
- MATLAB软件商业数学应用2022 win/mac电脑版下载安装,MATLAB数学
- 肿瘤类器官在药物筛选中的应用-MedChemExpress
- Linux内存拷贝:memcpy函数的应用(linuxmemcpy)
- Linux平台建模软件综合应用(linux建模软件)
- Linux远程桌面应用:体验便利的远程办公!(linux下远程桌面软件)
- Linux软件排行榜:最佳应用抢先看!(linux排行榜)
- Linux 开启新时代:CAN 总线的应用(linuxcan总线)
- Linux下CPLD精彩应用——探索编程的新可能(linux cpld)
- 中文编码在MySQL中的应用(mysql中中文成)
- Oracle 事件理解和应用(oracle 事件的概念)
- MySQL中下划线和驼峰格式的区别及应用场景(mysql 下划线 驼峰)