怎樣證明數(shù)學(xué)題

面對(duì)證明題，你是否一臉茫然、不知所措呢？是不是迫切需要一個(gè)人來教你寫證明呢？本書將帶給你驚喜，教你一步一步地構(gòu)造證明的框架。閱讀本書不需要太多的知識(shí)背景，只需要你具有高中數(shù)學(xué)基礎(chǔ)。為了讓你熟悉數(shù)學(xué)語言，作者從構(gòu)建證明的基礎(chǔ)——邏輯和集合論的基本概念講起。豐富的示例，大量的習(xí)題，足以讓你在它的指導(dǎo)下掌握證明的“游戲規(guī)則”。新版添加了200多個(gè)練習(xí)題，并且附錄中給出部分練習(xí)的答案或提示。其中一些習(xí)題可以用計(jì)算機(jī)軟件Proof Designer來解答，作者還在附錄中介紹了Proof Designer軟件。

本書深受好評(píng)，眾多讀者受益于本書，學(xué)會(huì)了如何證明數(shù)學(xué)題。無論你來自什么背景，是從事計(jì)算機(jī)科學(xué)還是哲學(xué)、語言學(xué)，只要你對(duì)邏輯和證明感興趣，就應(yīng)該仔細(xì)研讀這本書。研究數(shù)學(xué)的師生更是不可錯(cuò)過本書。

Daniel J. Velleman 艾姆赫斯特（Amherst）學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)系教授，《美國數(shù)學(xué)月刊》主編。另著有 Which Way Did The Bicycle Go和Philosophies of Mathematics。他的研究興趣廣泛，主攻數(shù)理邏輯，在組合、拓?fù)?、分析、?shù)學(xué)方法論、量子力學(xué)等多個(gè)領(lǐng)域都發(fā)表了大量論文。