The Little Prover.pdf

发布时间：2022-06-13 发布人：admin 分类：说明书资料大小：3.24M 资料格式：pdf 举报版权申诉

a28fadc9-8729-434d-803e-38a801681416.pdf-第1页.png

第1页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第2页.png

第2页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第3页.png

第3页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第4页.png

第4页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第5页.png

第5页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第6页.png

第6页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第7页.png

第7页 / 共244页

a28fadc9-8729-434d-803e-38a801681416.pdf-第8页.png

第8页 / 共244页

文本预览

The Little Prover

The Little Prover Daniel P. Friedman Carl Eastlund Drawings by Duane Bibby Foreword by J Strother Moore Afterword by Matthias Felleisen The MIT Press Cambridge, Massachusetts London, England

© 2015 Massachusetts Institute of Technology All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher. MIT Press books may be purchased at special quantity discounts for business or sales promotional use. For information, please e-mail special_sales@mitpress.mit.edu. This book was set in Computer Modern by the authors using LATEX. Printed and bound in the United States of America. Library of Congress Cataloging-in-Publication Data Friedman, Daniel P. The little prover / Daniel P. Friedman and Carl Eastlund; drawings by Duane Bibby. p. cm. Includes bibliographical references and index. ISBN 978-0-262-52795-8 (pbk. : alk. paper) 1. Automatic theorem proving. 2. LISP (Computer program language) I. Eastlund, Carl II. Title. QA76.9.A96F745 511.3′6028563—dc23 2015 10 9 8 7 6 5 4 3 2 1 2015001271

To Mary, Robert, Shannon, Rachel, Sara, Samantha, Brooklyn, Chase, Aria, and to the memory of Brian (1969–1993). To Mom, Dad, Sharon, Paul Ragnar, Grace, Claire, Paul Duncan, and Ruth.

((Contents) (Foreword ix) (Preface xi) (((1. Old Games, New Rules) 2) (Examples 181)) (((2. Even Older Games) 14) (Examples 182)) (((3. What’s in a Name?) 32) (Proofs 183)) (((4. Part of This Total Breakfast) 42) (Proofs 184)) (((5. Think It Over, and Over, and Over) 58) (Proofs 185)) (((6. Think It Through) 76) (Proofs 187)) (((7. Oh My, Stars!) 88) (Proofs 188)) (((8. Learning the Rules) 106) (Proofs 192)) (((9. Changing the Rules) 114) (Proofs 193)) (((10. The Stars Are Aligned) 138) (Proofs 196)) ((A. Recess) 164) ((B. The Proof of the Pudding) 180) ((C. The Little Assistant) 202) ((D. Restless for More?) 216) (Afterword 221) (Index 222))

分享到：

赞收藏

资料库

The Little Prover.pdf

相关推荐

课程资源

热门标签

最新资料