计算的理论与实践

书籍简介:

本书介绍了计算技术产生的理论基础、计算的装置和计算的方法。首先介绍的计算模型主要包含理想计算机的模型、递归可计算的函数、l演算、图灵机以及波斯特系统。其次，介绍在图灵机模型下产生的冯诺依曼系统结构，以及在该系统结构下生产的计算机的硬件组成和结构、以及各部件的相关知识。另外，还介绍了计算模型对软件系统带来的影响，包含基于l演算的函数式程序设计语言、波斯特系统所产生的专家系统、形式文法等。最后介绍了计算机软件系统的构造过程、以及软件软件工程的基本概念、软件生命周期和主要的软件开发模型等。

书籍规格:

书籍信息归属:

计算的理论与实践是北京交通大学出版社于2020.3出版的中图分类号为 TP301.6 的主题关于 计算机算法－研究 的书籍。