《程序設計方法學》系統(tǒng)討論了程序設計的基本理論；分析了程序設計基本理論不斷發(fā)展和完善的過程，重占論述了結構程序設計和面向對象程序設計的基本原理和方法，因而使程序的開發(fā)和運用更和科學有效，并向更高層次發(fā)展；強調說明了只有依據基本原則和方法，才能開發(fā)出可靠高效的良結構程序。
《程序設計方法學》由三個部分共12章組成，第一章為引論，闡述了計算機求解問題的過程和原則，第二章至第五章為第一部分，論述了程序設計語言的控制結構與有限自動機、下推自動機、圖靈機模型等傳統(tǒng)計算模型的等價性；第六章至第九章為第二部分，討論了數據結構的理論模型、數據類型的定認和表示方法，重點說明了抽象數據類型的定義、封裝及其在程序語言中的表示與實現(xiàn)，第十章至第十二章為第三部分，討信紙了程序的算法設墳、程序正確性證明及其算法的復雜性問題。
《程序設計方法學》適用于計算機本科高年級學生、研究生程序設計方法學課程的教材和從事軟件科學的研究人員與高級人員與高級工程人員使用。