[FROM www.amazon.com]:
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
具體描述
讀後感
評分
評分
評分
評分
用戶評價
僅適閤對 Proof Assistant 一無所知的初學者。這本書涵蓋的內容量很少，如果稍微對 Coq 等有所瞭解就不必看這本入門書瞭。
评分《麵嚮scheme程序員的數學歸納法簡介》。雖然書裏麵給瞭很多insights，但是如何構造齣對應的證明，仍然是一門需要創造力的藝術。除瞭循循善誘的正文，用於介紹J-Bob( 傳說中的mini Coq )實現的附錄C仍然值得鑽研。同樣也比較失望這介紹的並不是auto theorem prover????
评分僅適閤對 Proof Assistant 一無所知的初學者。這本書涵蓋的內容量很少，如果稍微對 Coq 等有所瞭解就不必看這本入門書瞭。
评分有點失望，原來是搞瞭一個全手動的rewrite system，我本來想搞自動prover的
评分有點失望，原來是搞瞭一個全手動的rewrite system，我本來想搞自動prover的
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有