作者：栾尚敏编著
出版社： 北京交通大学出版社
CIP号：2020039894
书号：978-7-5121-4184-1
出版地：北京
出版时间：2020.3
定价：￥48.0
本书介绍了计算技术产生的理论基础、计算的装置和计算的方法。首先介绍的计算模型主要包含理想计算机的模型、递归可计算的函数、l演算、图灵机以及波斯特系统。其次，介绍在图灵机模型下产生的冯诺依曼系统结构，以及在该系统结构下生产的计算机的硬件组成和结构、以及各部件的相关知识。另外，还介绍了计算模型对软件系统带来的影响，包含基于l演算的函数式程序设计语言、波斯特系统所产生的专家系统、形式文法等。最后介绍了计算机软件系统的构造过程、以及软件软件工程的基本概念、软件生命周期和主要的软件开发模型等。