The Little Prover (pdf)

$5.00

Author Daniel P. Friedman, Carl Eastlund
Edition 1
Edition Year 2015
Format PDF
ISBN 9780262527958
Language English
Number Of Pages 248
Publisher Mit Press

Description

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.

Additional information

Author

Daniel P. Friedman, Carl Eastlund

Edition

1

Edition Year

2015

Format

PDF

ISBN

9780262527958

Language

English

Number Of Pages

248

Publisher

Mit Press

Reviews

There are no reviews yet.

Be the first to review “The Little Prover (pdf)”

Your email address will not be published. Required fields are marked *