The Little Prover 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
簡體網頁||繁體網頁
The Little Prover 在線電子書 圖書標籤: 計算機 計算機科學 LISP 定理證明 函數式編程 編程 Programming Scheme
喜歡 The Little Prover 在線電子書 的讀者還喜歡
-
Essentials of Programming Languages, 3rd Edition 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 -
The Reasoned Schemer 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
The Scheme Programming Language, 4th Edition 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
The Little Schemer - 4th Edition 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
Lambda-Calculus and Combinators 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
Types and Programming Languages 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
ZeroMQ 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
From Mathematics to Generic Programming 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
垃圾迴收的算法與實現 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
-
Haskell趣學指南 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
點擊這裡下載
發表於2024-12-23
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 在線電子書 用戶評價
僅適閤對 Proof Assistant 一無所知的初學者。這本書涵蓋的內容量很少，如果稍微對 Coq 等有所瞭解就不必看這本入門書瞭。
評分《麵嚮scheme程序員的數學歸納法簡介》。雖然書裏麵給瞭很多insights，但是如何構造齣對應的證明，仍然是一門需要創造力的藝術。除瞭循循善誘的正文，用於介紹J-Bob( 傳說中的mini Coq )實現的附錄C仍然值得鑽研。同樣也比較失望這介紹的並不是auto theorem prover????
評分僅適閤對 Proof Assistant 一無所知的初學者。這本書涵蓋的內容量很少，如果稍微對 Coq 等有所瞭解就不必看這本入門書瞭。
評分《麵嚮scheme程序員的數學歸納法簡介》。雖然書裏麵給瞭很多insights，但是如何構造齣對應的證明，仍然是一門需要創造力的藝術。除瞭循循善誘的正文，用於介紹J-Bob( 傳說中的mini Coq )實現的附錄C仍然值得鑽研。同樣也比較失望這介紹的並不是auto theorem prover????
評分有點失望，原來是搞瞭一個全手動的rewrite system，我本來想搞自動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 在線電子書 讀後感
評分
評分
評分
評分
The Little Prover 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
分享鏈接
The Little Prover 在線電子書 相關圖書
-
計算機係統：核心概念及軟硬件實現（原書第4版） 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
計算機組成與設計（原書第5版） 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
移動App測試實戰 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
C++標準庫 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Redis入門指南（第2版） 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Hadoop: The Definitive Guide 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
C++語言導學 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Computer Systems: A Programmer's Perspective (3rd Edition) 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
SQL學習指南（第2版 修訂版） 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
發布！軟件的設計與部署 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Elasticsearch: The Definitive Guide 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
社交網站的數據挖掘與分析(第2版) 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
現代體係結構上的UNIX係統：內核程序員的對稱多處理和緩存技術 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
第一本Docker書 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Building Microservices 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
有效的單元測試 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Build Your Own Lisp 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
Data Science at the Command Line 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
I Heart Logs 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
-
自己動手寫CPU 在線電子書 pdf 電子書下載 txt下載 epub 下載 mobi 下載
