發表於2024-07-06
圖書介紹
相關圖書
圖書描述
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.
The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.
Software Foundations mobi 下載 pdf 下載 pub 下載 txt 電子書 下載 2024
Software Foundations 下載 mobi pdf epub txt 電子書 格式 2024
Software Foundations 下載 mobi epub pdf 電子書用戶評價
##It's inspiring many interesting examples in there. But sometimes I cannot understand the content.
評分##學完coq之後再學後續的type theory和math logic可能會容易一些。裏麵的每一道例題與習題最好還是親自寫一寫，會有很大的收獲的。
評分##這本書最好的就是它經常介紹證明背後的的intution，直覺主義邏輯本身也不容易齣問題，可以說是我看的最心服口服的幾本書之一
評分 評分##Cop入門教材
評分 評分##這本書最好的就是它經常介紹證明背後的的intution，直覺主義邏輯本身也不容易齣問題，可以說是我看的最心服口服的幾本書之一
評分##純屬巧閤般翻到瞭這本書，coq寫得入門，其餘的我也不太懂
Software Foundations mobi epub pdf txt 電子書 格式下載 2024
分享鏈接
相關圖書
-
Python編程無師自通 mobi epub pdf txt 電子書 格式 下載 -
程序員代碼麵試指南（第2版） mobi epub pdf txt 電子書 格式 下載
-
Effective Java中文版（第3版） mobi epub pdf txt 電子書 格式 下載
-
Windows黑客編程技術詳解 mobi epub pdf txt 電子書 格式 下載
-
Node.js開發實戰 mobi epub pdf txt 電子書 格式 下載
-
代碼裏的世界觀——通往架構師之路 mobi epub pdf txt 電子書 格式 下載
-
你也能看得懂的Python算法書 mobi epub pdf txt 電子書 格式 下載
-
軟件調試 第2版 mobi epub pdf txt 電子書 格式 下載
-
我的第一本算法書 mobi epub pdf txt 電子書 格式 下載
-
Eloquent Javascript, 3rd Edition mobi epub pdf txt 電子書 格式 下載
-
The Little Typer mobi epub pdf txt 電子書 格式 下載
-
正則指引（第2版） mobi epub pdf txt 電子書 格式 下載
-
python學習手冊（原書第5版） mobi epub pdf txt 電子書 格式 下載
-
Python 3標準庫 mobi epub pdf txt 電子書 格式 下載
-
Java並發編程之美 mobi epub pdf txt 電子書 格式 下載
-
碼齣高效：Java開發手冊 mobi epub pdf txt 電子書 格式 下載
-
Android進階解密 mobi epub pdf txt 電子書 格式 下載
-
精通Java並發編程（第2版） mobi epub pdf txt 電子書 格式 下載
-
實戰Java高並發程序設計（第2版） mobi epub pdf txt 電子書 格式 下載
-
加密與解密（第4版） mobi epub pdf txt 電子書 格式 下載
