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
-
-
- 图灵的秘密_360百科
- 编译原理
-
-
- ( 4) 人工智能( 知识工程、机器学习、模式识别、机器人等)
- ( 5) 逻辑基础( 数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等)
- ( 6) 数据理论( 演绎数据库、关系数据库、面向对象数据库等)
- ( 7) 计算机数学( 符号计算、数学定理证明、计算几何等)
- ( 8) 并行计算( 网络计算、分布式并行计算、大规模并行计算、演化算法等) [1]
(人民邮电出版社出版图书)
《计算机科学概论》(第9版)是计算机科学导论课程的一本经典教材,是作者多年教学经验的结晶,是国际上众多名校的指定教材。本书涉及计算机科学的方方面面,介绍了计算机硬件、软件、数据组织和计算理论等四个方面的内容,包括编码及计算机体系结构的基本原理、操作系统、计算机网络、算法、程序设计语言、数据结构和数据库、人工智能以及计算理论等。
自动机
形式语言
克劳德·香农发展通信理论产
控制论》是一本古怪而小巧的书,里面有很多篇幅的数学公式和令人目眩的、不太切合实际的议论。在引言里,维纳对那些启发过他的人们表示了感谢,包括麦卡洛克
维纳并不是一个狂热的纯技术狂。他也很关心这个新的科学技术对人类的影响。他写了《人有人的用处:控制论与社会》(The Human Use of Human Beings: Cybernetics and Society),作为1948年《控制论》的补充。
自动机和图灵机的不断研究诞生了几部经典的开山之作,如通信理论的创始人香农和人工智能的先驱之一、也是Lisp语言的创造者约翰·麦卡锡合著的《自动机研究》(Automata Studies),由普林斯顿大学出版社在1956年出版。这本书包含了冯·诺依曼、克莱尼和人工智能先驱之一的马文·明斯基的几篇关于自动机的论文,也包含了香农和马丁·戴维斯关于图灵机的第一篇论文
七周七语言:理解多种编程范型
Atitit.软件开发经典书籍
atitit v3 软件开发推荐书籍r612 .xlsx
相关文章
- 端智能在大众点评搜索重排序的应用实践
- 数字电路实验 05 – | 触发器及其应用[通俗易懂]
- 2 万字 + 20张图| 细说 Redis 九种数据类型和应用场景
- 解决宝塔面板无法下载软件和更新应用的问题
- 让ChatGPT编写交互式网页应用的临床预测模型
- Life Med综述 | 时空组学技术在病理应用中的革命性意义
- 【Linux高级编译】Linux内核的list.h的高效应用----单向链表和双向链表的实现
- IOS APPStore 上传更新应用版本 软件
- 干货!运营商5G专网应用十大经典案例分享
- 云原生存储工具的选型和应用探讨
- 关键词采集软件在SEO优化中的应用与效果
- MATLAB软件商业数学应用2022 win/mac电脑版下载安装,MATLAB数学
- 关于 iOS 上的 PWA 应用,你需要知道些什么详解手机开发
- 快速安装Linux:体验无缝应用体验(linux系统安装软件)
- Linux开发安卓APP:掌握未来应用之道(linux开发安卓软件)
- 微软并未放弃在Win10X上运行Win32应用
- 微软开源的计算器应用现在已经借助UNO平台成功移植到Linux系统
- Linux 3D在计算机设计中的应用(linux3d软件)
- Oracle TM 数据库软件简介与应用(oracletm)
- 永中Office是一款功能强大的办公软件,支持Linux,该产品提供文字处理、电子表格和简报制作(PPT)三大应用。
- SQL Server中文件左补齐的应用(sqlserver左补齐)