Name: The Little Prover
ISBN: 9780262527958

作者: Daniel P·Friedman / Carl Eastlund
出版社: The MIT Press
出版年: 2015-7-10
页数: 248
定价: USD 38.00
装帧: Paperback
ISBN: 9780262527958

豆瓣评分

8.9

19人评价

5星

47.4%
4星

42.1%
3星

5.3%
2星

5.3%
1星

0.0%

评价:

内容简介 · · · · · ·

[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-...

(展开全部)

The Little Prover的创作者 · · · · · ·

Daniel P·Friedman 作者

原文摘录 · · · · · · ( 全部 )

(equal (memb? (if (equal x1 '?) (remb '()) (cons x1 (remb '())))) 'nil) (查看原文)

Sam 3赞 2021-10-21 17:05:44
(equal (if (equal x1 '?) (memb? (if (equal x1 '?) (remb '()) (cons x1 (remb '())))) (memb? (if (equal x1 '?) (remb '()) (cons x1 (remb '()))))) 'nil) (查看原文)

Sam 3赞 2021-10-21 17:05:44

> 全部原文摘录

喜欢读"The Little Prover"的人也喜欢 · · · · · ·

: The Little MLer 8.4

: A Little Java, A Few Patterns 8.4

: Common LISP

: Essentials of Programming Langu... 9.4

: An Introduction to Functional Progr... 9.1

: ZeroMQ 8.8

: Lambda-Calculus and Combinator... 9.2

: Scheme and the Art of Programmin... 9.6

: Type Theory and Functional Progra...

: Memory as a Programming Conce...

我来说两句

短评 · · · · · · ( 全部 7 条 )

The Little Prover的书评 · · · · · · ( 全部 1 条 )

对类ACL2证明器或者其背后的基本原理感兴趣的人会喜欢这本书！

第一次看“The Little”－系列。有点喜欢上了这个系列特有的简单易懂的对话体风格。这本“The Little Prover”介绍了类ACL2交互式定理证明器（不太清楚其他著名的Prover， e.g. Coq, Lean, etc, 是基于什麽原理）的最核心的两个原理：rewrite 和 induction。其核心概念虽然简... (展开)