The Little Provertxt,chm,pdf,epub,mobi下载
作者:
Daniel P. Friedman
/
Carl Eastlund
出版社: The MIT Press 出版年: 2015-7-10 页数: 248 定价: USD 38.00 装帧: Paperback ISBN: 9780262527958
内容简介
· · · · · ·
[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-...
[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.
|
通俗易懂的语言描述出来
“无论在任何时代,都有身份的问题,人类永远不可能平等。”
文笔优美
非常引人入胜