The Little Prover

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.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.

About the author

Daniel P. Friedman is Professor of Computer Science at Indiana University.

Summary

An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.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.

Product details

• Authors: Duane Bibby, Carl Eastlund, Eastlund Carl, Matthias Felleisen, Daniel P. Friedman, Daniel P. (Professor Friedman, Daniel P. Eastlund Friedman, J. Strother Moore
• Assisted by: Duane Bibby (Illustration), Bibby Duane (Drawings), J Strother Moore (Foreword), Felleisen Matthias (Afterword)
• Publisher: The MIT Press
• Languages: English
• Age Recommendation: from age 18
• Product format: Paperback / Softback
• Released: 31.07.2015
• EAN: 9780262527958
• ISBN: 978-0-262-52795-8
• No. of pages: 248
• Dimensions: 178 mm x 228 mm x 15 mm
• Series: The Little Prover; The MIT Press; Mit Press; The Little Prover
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; Software Engineering, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Mobile Devices, Web programming, Mobile & handheld device programming / Apps programming, COMPUTERS / Internet / Web Programming, Mobile and handheld device programming / Apps programming