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

☆☆☆☆☆
簡體網頁||繁體網頁

Daniel P. Friedman

The MIT Press

2015-7-10

248

USD 38.00

Paperback

9780262527958

圖書標籤: 計算機計算機科學 LISP 定理證明函數式編程編程 Programming Scheme

喜歡 The Little Prover 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-11-22

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

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

圖書描述

[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 電子書