How to Prove It av Daniel J. (Amherst College Massachusetts) Velleman

Bevis har en sentral rolle innen avansert matematikk og teoretisk datavitenskap, men mange studenter opplever utfordringer i sine første kurs der tegnsetting spiller en betydelig rolle. Den populære læreboken 'How to Prove It', nå i sin tredje utgave, hjelper studenter med å gjøre overgangen fra å løse problemer til å bevise teoremer, ved å lære dem teknikkene som kreves for å lese og skrive bevis. Med over 150 nye oppgaver og et nytt kapittel om tallteori, gir denne utgaven studentene en inngang til avansert matematikk gjennom beherskelse av bevis. Boken begynner med en innføring i grunnleggende begreper innen logikk og mengdeteori for å gjøre studentene kjent med matematikkens språk og hvordan det tolkes. Disse konseptene brukes som grunnlag for en analyse av teknikker som kan benyttes for å bygge opp komplekse bevis steg for steg, hvor detaljerte 'scratch work'-seksjoner avdekker de underliggende mekanismene i bevis relatert til tall, mengder, relasjoner og funksjoner. Boken krever ingen forkunnskaper utover standard matematikk fra videregående skole.