面對(duì)證明題，你是否一臉茫然、不知所措呢？是不是迫切需要一個(gè)人來(lái)教你寫(xiě)證明呢？本書(shū)將帶給你驚喜，教你一步一步地構(gòu)造證明的框架。閱讀本書(shū)不需要太多的知識(shí)背景，只需要你具有高中數(shù)學(xué)基礎(chǔ)。為了讓你熟悉數(shù)學(xué)語(yǔ)言，作者從構(gòu)建證明的基礎(chǔ)——邏輯和集合論的基本概念講起。豐富的示例，大量的習(xí)題，足以讓你在它的指導(dǎo)下掌握證明的“游戲規(guī)則”。新版添加了200多個(gè)練習(xí)題，并且附錄中給出部分練習(xí)的答案或提示。其中一些習(xí)題可以用計(jì)算機(jī)軟件Proof Designer來(lái)解答，作者還在附錄中介紹了Proof Designer軟件。
本書(shū)深受好評(píng)，眾多讀者受益于本書(shū)，學(xué)會(huì)了如何證明數(shù)學(xué)題。無(wú)論你來(lái)自什么背景，是從事計(jì)算機(jī)科學(xué)還是哲學(xué)、語(yǔ)言學(xué)，只要你對(duì)邏輯和證明感興趣，就應(yīng)該仔細(xì)研讀這本書(shū)。研究數(shù)學(xué)的師生更是不可錯(cuò)過(guò)本書(shū)。
作者簡(jiǎn)介
Daniel J. Velleman 艾姆赫斯特（Amherst）學(xué)院數(shù)學(xué)與計(jì)算機(jī)科學(xué)系教授，《美國(guó)數(shù)學(xué)月刊》主編。另著有 Which Way Did The Bicycle Go和Philosophies of Mathematics。他的研究興趣廣泛，主攻數(shù)理邏輯，在組合、拓?fù)�、分析、�?shù)學(xué)方法論、量子力學(xué)等多個(gè)領(lǐng)域都發(fā)表了大量論文。
|
