内容简介  · · · · · ·

面对证明题，你是否一脸茫然、不知所措呢？是不是迫切需要一个人来教你写证明呢？本书将带给你惊喜，教你一步一步地构造证明的框架。阅读本书不需要太多的知识背景，只需要你具有高中数学基础。为了让你熟悉数学语言，作者从构建证明的基础——逻辑和集合论的基本概念讲起。丰富的示例，大量的习题，足以让你在它的指导下掌握证明的“游戏规则”。新版添加了200多个练习题，并且附录中给出部分练习的答案或提示。其中一些习题可以用计算机软件Proof Designer来解答，作者还在附录中介绍了Proof Designer软件。

本书深受好评，众多读者受益于本书，学会了如何证明数学题。无论你来自什么背景，是从事计算机科学还是哲学、语言学，只要你对逻辑和证明感兴趣，就应该仔细研读这本书。研究数学的师生更是不可错过本书。

作者简介  · · · · · ·

Daniel J. Velleman 艾姆赫斯特（Amherst）学院数学与计算机科学系教授，《美国数学月刊》主编。另著有 Which Way Did The Bicycle Go和Philosophies of Mathematics。他的研究兴趣广泛，主攻数理逻辑，在组合、拓扑、分析、数学方法论、量子力学等多个领域都发表了大量论文。