Daniel P. Friedman , Carl Eastlund , Duane Bibby ,
The Little Prover
- ISBN 13:
- 9780262527958
- author:
- Daniel P. Friedman , Carl Eastlund , Duane Bibby ,
- format:
- Paperback
- publisher:
- MIT Press
- language:
- English
- Publication Year:
- 2015
- Pages:
- 248
- Dimensions:
- 17.8 x 1.4 x 22.9 cm
- Genre:
- Science & Nature, Mathematics, Education
- Condition:
- New
- Availability:
- Item usually sent within 10 working days
Description
The Little Prover is an introduction to writing proofs about computer programs, presented in a question-and-answer style with step-by-step examples and a simple proof assistant. This approachable guide helps readers learn inductive proofs as a way to determine facts about computer programs.
Assuming only knowledge of recursive programs and lists, the book takes novice programmers through the process of writing inductive proofs using a straightforward and engaging style. The Little Prover comes with a built-in proof assistant to help readers work through examples and complete solutions.
This book is suitable for those looking to improve their skills in programming and proof-based reasoning, and provides a practical introduction to this important topic.
Related Products
Related Products
God's Wisdom for Little Girls: Virtues and Fun from Proverbs 31
George, Elizabeth
Proverbs for Children: Little Bitty Seeds of God's Word
Harper, Carol
God's Wisdom for Little Boys: Character-Building Fun from Proverbs
George, Jim
Eric; Or, Little by Little
Farrar, F. W.
The Littles (Littles (Paperback))
Peterson, John