怎样证明数学题（英文版·第2版）

　　Introduction
　　1 SententialLogic
　　1.1 DeductiveReasoningandLogicalConnectives
　　1.2 TruthTables
　　1.3 VariablesandSets
　　1.4 OperationsonSets
　　1.5 TheConditionalandBiconditionalConnectives
　　2 QuantificationalLogic
　　2.1 Quantifiers
　　2.2 EquivalencesInvolvingQuantifiers
　　2.3 MoreOperationsonSets
　　3 Proofs
　　3.1 ProofStrategies
　　3.2 ProofsInvolvingNegationsandConditionals
　　3.3 ProofsInvolvingQuantifiers
　　3.4 ProofsInvolvingConjunctionsandBiconditionals
　　3.5 ProofsInvolvingDisjunctions
　　3.6 ExistenceandUniquenessProofs
　　3.7 MoreExamplesofProofs
　　4 Relations
　　4.1 OrderedPairsandCartesianProducts
　　4.2 Relations
　　4.3 MoreAboutRelations
　　4.4 OrderingRelations
　　4.5 Closures
　　4.6 EquivalenceRelations
　　5 Functions
　　5.1 Functions
　　5.2 One-to-oneandOnto
　　5.3 InversesofFunctions
　　5.4 ImagesandInverseImages：AResearchProject
　　6 MathematicalInduction
　　6.1 ProofbyMathematicalInduction
　　6.2 MoreExamples
　　6.3 Recursion
　　6.4 StrongInduction
　　6.5 ClosuresAgain
　　7 InfiniteSets
　　7.1 EquinumerousSets
　　7.2 CountableandUncountableSets
　　7.3 TheCantor-Schr?der-BernsteinTheorem
　　Appendix1：SolutionstoSelectedExercises
　　Appendix2：ProofDesigner
　　SuggestionsforFurtherReading
　　SummaryofProofTechniques
　　Index

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

　　《怎样证明数学题(英文版·第2版)》介绍了数学证明的基本要点，内容通俗而不失严谨，可以帮助高中以上程度的学生熟悉数学语言，迈入数学殿堂。新版添加了200多个练习题，附录中给出部分练习的答案或提示。《怎样证明数学题(英文版·第2版)》适用于任何对逻辑和证明感兴趣的人，数学、计算机科学、哲学、语言学专业的读者都可以从中获益匪浅。