发表于2024-12-23
程序设计学 2024 pdf epub mobi 电子书
图书标签: 程序设计 逻辑 语言学 计算机 编程语言 工具书
本书兼顾理论与实际。从实际方面来说,不是追求个别技巧,而是介绍如何根据断言和已知程序进行程序设计方面的系统方法,为进一步研究程序设计方法学打下基础。从理论方面来说,不是过分追求数学上的严谨,而是要与程序理论、语言理论、数据结构理论在观念上衔接起来。
本书可作为理科大学计 算机系的教学参考书,也可供有关人员参考。
程序设计学 2024 pdf epub mobi 电子书