The Little Prover 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


The Little Prover

簡體網頁||繁體網頁
Daniel P. Friedman 作者
The MIT Press
譯者
2015-7-10 出版日期
248 頁數
USD 38.00 價格
Paperback
叢書系列
9780262527958 圖書編碼

The Little Prover 在線電子書 圖書標籤: 計算機  計算機科學  LISP  定理證明  函數式編程  編程  Programming  Scheme   


喜歡 The Little Prover 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-22

The Little Prover 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

The Little Prover 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

The Little Prover 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



The Little Prover 在線電子書 用戶評價

評分

《麵嚮scheme程序員的數學歸納法簡介》。雖然書裏麵給瞭很多insights,但是如何構造齣對應的證明,仍然是一門需要創造力的藝術。除瞭循循善誘的正文,用於介紹J-Bob( 傳說中的mini Coq )實現的附錄C仍然值得鑽研。同樣也比較失望這介紹的並不是auto theorem prover????

評分

《麵嚮scheme程序員的數學歸納法簡介》。雖然書裏麵給瞭很多insights,但是如何構造齣對應的證明,仍然是一門需要創造力的藝術。除瞭循循善誘的正文,用於介紹J-Bob( 傳說中的mini Coq )實現的附錄C仍然值得鑽研。同樣也比較失望這介紹的並不是auto theorem prover????

評分

有點失望,原來是搞瞭一個全手動的rewrite system,我本來想搞自動prover的

評分

有點失望,原來是搞瞭一個全手動的rewrite system,我本來想搞自動prover的

評分

《麵嚮scheme程序員的數學歸納法簡介》。雖然書裏麵給瞭很多insights,但是如何構造齣對應的證明,仍然是一門需要創造力的藝術。除瞭循循善誘的正文,用於介紹J-Bob( 傳說中的mini Coq )實現的附錄C仍然值得鑽研。同樣也比較失望這介紹的並不是auto theorem prover????

The Little Prover 在線電子書 著者簡介


The Little Prover 在線電子書 著者簡介


The Little Prover 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

The Little Prover 在線電子書 圖書描述

[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.

The Little Prover 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

The Little Prover 在線電子書 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

The Little Prover 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





The Little Prover 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有