T007673　程序设计学

---

马希文著。

科学出版社1985年7月版。11．6万字。

介绍如何根据断言和已知程序进行程序设计，以及程序理论、语言理论、数据结构理论；阐明编程在计算机完成工作中的重要性和关键性；指出在设计程序时必须考虑到机器的一切细节，对不同的机器来说，编制程序时所需要的最精细的知识可能完全不同，认为要研究程序设计的理论方法，必须摆脱计算机的细节，抓住各种计算机的共性——任何计算机都能进行的一些动作。