Bizonyítékok építése: Gyakorlati útmutató

Olvasói vélemények

A könyvet a matematika szakos hallgatóknak ajánljuk, mivel a bizonyításszerkesztés alapjainak és logikai elveinek világos bemutatását számos matematikai példával egészíti ki.

⬤ Világosan elmagyarázza a matematikai bizonyításkonstruálás alapjait
⬤ könnyen követhető írásmód
⬤ hasznos a formális programokban és az önálló tanulásban részt vevő hallgatók számára
⬤ számos példát közöl a matematika különböző területeiről.

Nem ad univerzális sablont vagy algoritmust minden bizonyításhoz.

(2 olvasói vélemény alapján)

Eredeti címe:

Building Proofs: A Practical Guide

Könyv tartalma:

Ez a könyv bevezeti a hallgatókat a bizonyításírás művészetébe és mesterségébe, kezdve a bizonyításírás és a logika alapjaival, majd a matematika különböző területein a bizonyításkészítés mélyebb kérdéseivel és példáival, valamint az algoritmusok helyességének bizonyításával. A bizonyítások készítése mind a diszkrét, mind a folytonos matematika tételeire kiterjed, és az elemi szinttől a kezdő diplomás szintig terjedő nehézségű.

Alig lépve túl a szokásos bevezető számtani kurzusokon, a tételek és a bizonyítások a matematika középpontjába kerülnek. A diákok gyakran nehéznek és újnak találják ezt a hangsúlyt.

Ez a könyv útmutató a bizonyítások megértéséhez és elkészítéséhez. Megmagyarázza a matematikai bizonyítások standard "lépéseit": a közvetlen számítást, a definíciók bővítését, az ellentmondásos bizonyítást, az indukciós bizonyítást, valamint a jelölések és stratégiák kiválasztását.