100% mathematical proof

Häftad bok. Wiley. 1996. 317 sidor.

Mycket gott skick. Boken 100 % Mathematical Proof" av Rowan Garnier och John Taylor förklarar vad matematiker menar med bevis och hur bevis upptäcks och kommuniceras. Den behandlar principer och strukturella egenskaper gemensamma för alla matematiska bevis, samt specifika tekniker. De första kapitlen täcker grundläggande propositionell och predikatlogik, inklusive en diskussion om axiomsystem och formella bevis. Författarna behandlar sedan de viktigaste teknikerna för direkta och indirekta bevis, inklusive matematisk induktion, existens- och unikhetsbevis, bevis genom motsägelse, konstruktiva och icke-konstruktiva bevis. Många exempel på bevis presenteras, liksom vanliga fallgropar. De många övningarna är noggrant utformade för att hjälpa studenter att befästa och förstärka sin förståelse av de relevanta begreppen och utveckla sina "bevisfärdigheter". De flesta exemplen och övningarna förutsätter en blygsam matematisk bakgrund, även om vissa är hämtade från analys och modern algebra. Tips och lösningar till utvalda övningar tillhandahålls. Den exceptionellt tydliga stilen och presentationen säkerställer att boken är användbar och njutbar för matematikstudenter och deras lärare, samt för filosofistudenter och andra intresserade av att reda ut och förstå bevisets natur inom matematiken.