本書兼顧理論與實際。從實際方麵來說,不是追求個彆技巧,而是介紹如何根據斷言和已知程序進行程序設計方麵的係統方法,為進一步研究程序設計方法學打下基礎。從理論方麵來說,不是過分追求數學上的嚴謹,而是要與程序理論、語言理論、數據結構理論在觀念上銜接起來。
本書可作為理科大學計 算機係的教學參考書,也可供有關人員參考。
發表於2024-11-22
程序設計學 2024 pdf epub mobi 電子書 下載
圖書標籤: 程序設計 邏輯 語言學 計算機 編程語言 工具書
程序設計學 2024 pdf epub mobi 電子書 下載