The Little Prover (MIT Press)

Daniel P. Friedman, Carl Eastlund

  • 出版商: MIT
  • 出版日期: 2015-07-10
  • 售價: $1,550
  • 貴賓價: 9.5$1,473
  • 語言: 英文
  • 頁數: 248
  • 裝訂: Paperback
  • ISBN: 0262527952
  • ISBN-13: 9780262527958
  • 相關分類: 程式語言邏輯設計 Logic-design
  • 無法訂購

買這商品的人也買了...

商品描述

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.

商品描述(中文翻譯)

《小推論家》以歸納證明的方式介紹了關於電腦程式的事實確定方法。這本書以問答的方式撰寫,風格平易近人且引人入勝,同時保留了《小計算機》(第四版,MIT Press)的幽默特色。有時候,學習一件事情最好的方式就是坐下來實際去做;這本書通過逐步示例引導讀者學習如何撰寫歸納證明。《小推論家》假設讀者僅具備遞迴程式和列表的知識(如《小計算機》的前三章所介紹的),並且僅使用了一些初學者已經熟悉的術語。該書附帶一個簡單的證明助手,幫助讀者完成書中的練習並提供每個示例的解答。