新書推薦:
《
启蒙的辩证:哲学的片简(法兰克福学派哲学经典,批判理论重要文本)
》
售價:NT$
347.0
《
心跳重置
》
售價:NT$
269.0
《
云中记
》
售價:NT$
347.0
《
中国古代妇女生活(中国古代生活丛书)
》
售價:NT$
214.0
《
你的认知正在阻碍你
》
售價:NT$
296.0
《
我们身边的小鸟朋友:手绘观鸟笔记
》
售價:NT$
356.0
《
拯救免疫失衡
》
售價:NT$
254.0
《
收尸人
》
售價:NT$
332.0
|
編輯推薦: |
在计算机的发展历程中,计算模型起着至关重要的作用。本书详细地介绍了各类计算模型,并讨论了这些模型之间的关系;讨论了计算模型对计算机硬件系统发展的影响;讨论了计算模型对计算机软件系统发展的影响。通过本书的学习,能对计算机的发展和计算机软硬件开发技术有更清晰的理解。
|
內容簡介: |
本书沿着计算发展的历史,介绍计算理论的模型及其在软硬件方面的实践成果。计算理论的模型主要包含递归可计算函数、演算、图灵机以及波斯特系统。其次,介绍了受图灵机模型影响而产生的冯?诺依曼模型,以及该模型下计算机的工作原理、硬件组成等。*后,介绍了计算模型对软件系统的影响,包括程序设计方法、系统软件和应用软件。 本书可以作为计算机类相关专业本科生的教材,也可以作为想了解计算技术背景、发展过程、理论基础、应用情况人员的参考书目。
|
目錄:
|
第1章绪论
1.1计算概念的形成
1.1.1递归函数
1.1.2演算
1.1.3图灵机
1.2计算的发展
1.2.1字符编码
1.2.2形式语言及自然语言处理
1.2.3数字图像处理与计算机视觉
1.2.4语音信号处理
1.3计算的本质
1.4本章小结
1.5习题
第2章计算的理论
2.1可计算的含义
2.1.1算法与能行过程
2.1.2算法的描述方法
2.2构造函数的方法
2.2.1数论函数
2.2.2构造函数的方法
2.3递归函数
2.3.1初等函数
2.3.2原始递归函数
2.3.3Ackermann函数不是原始递归函数
2.3.4一般递归函数
2.4演算
2.4.1语法规则
2.4.2基本函数
2.4.3归约
2.4.4增强演算
2.4.5LISP语言简介
2.4.6其他高级语言中的表达式
2.5波斯特系统及其应用
2.5.1波斯特系统简介
2.5.2基于产生式的专家系统
2.5.3产生式在形式语言中的应用
2.5.4Prolog语言简介
2.6图灵机
2.7本章小结
2.8习题
第3章计算在硬件方面的实践
3.1冯诺依曼的计算模型
3.2工作原理
3.3数字电子计算机系统的基本组成
3.4计算机的发展历程
3.5计算机硬件系统
3.6本章小结
3.7习题
第4章计算机中的信息表示
4.1数制及其相互转换
4.1.1数据的表示单位
4.1.2常用进制及其相互转换
4.2数字和英文字符的表示方法
4.2.1计算机中数的表示形式
4.2.2字符的表示
4.3中文信息的数字化
4.4图像数字化
4.4.1图像的数字化表示方法
4.4.2图像数字化的步骤
4.5音频数字化
4.5.1描述音频的物理量
4.5.2音频数字化的步骤
4.5.3数字音频还原为模拟音频
4.5.4常见数字化音频文件的格式
4.6视频数字化
4.7本章小结
4.8习题
第5章计算在软件方面的实践
5.1计算机软件系统
5.2系统软件
5.2.1操作系统
5.2.2Windows操作系统简介
5.2.3语言处理程序
5.2.4服务程序
5.2.5数据库管理系统
5.3应用软件
5.3.1Word 2010简介
5.3.2Excel 2010简介
5.3.3PowerPoint 2010简介
5.4本章小结
5.5习题
第6章软件构造
6.1程序设计语言发展历史
6.1.1机器语言
6.1.2汇编语言
6.1.3高级程序设计语言
6.2程序设计方法学
6.2.1结构化程序设计方法
6.2.2面向对象程序设计方法
6.3软件的构造
6.3.1迭代和递归
6.3.2软件构造
6.4本章小结
6.5习题
第7章软件工程简介
7.1软件工程发展历史
7.1.1软件工程的发展历史
7.1.2软件工程的定义
7.2软件生存周期
7.3常用软件开发模型简介
7.3.1瀑布模型
7.3.2喷泉模型
7.3.3快速原型
7.3.4增量模型
7.3.5螺旋模型
7.3.6基于构件的开发模型
7.3.7敏捷开发模型
7.3.8智能模型
7.3.9总结
7.4本章小结
7.5习题
第8章智能软件新技术
8.1人工智能
8.1.1人工智能的产生与发展
8.1.2人工智能主要学派
8.1.3人工智能的应用领域
8.1.4机器学习简介
8.1.5神经网络与深度机器学习
8.2智能软件新技术
8.2.1软件自动化
8.2.2基于深度学习的程序合成
8.3本章小结
8.4习题
参考文献
|
|