Describes basic programming principles and their step-by- step applications.Numerous examples are included.
##這書是講程序驗證的啊,之前那篇熱傳算法blog為什麼會覺得這本書很重要,真的用的齣來麼
評分 評分##感覺不是很友好 有空瞭再讀讀看
評分 評分 評分##這書是講程序驗證的啊,之前那篇熱傳算法blog為什麼會覺得這本書很重要,真的用的齣來麼
評分 評分##讀起來非常枯燥, boring. 這一定是作者的問題. 不能很好的引導讀者(至少是我)去理解整個過程. 前12章170多頁, 分兩部分: 1. logic學簡介; 2, 程序語言的形式化. 總之非常無聊. 廢話太多瞭. 完全應該把前12章, 作為附錄, 習題存在. 把第三部分直接甩齣來. 希望第三部分, 能有趣...
評分本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有