Stavební důkazy: Praktický průvodce

Recenze čtenářů

Knihu lze vřele doporučit studentům matematiky pro její srozumitelný výklad základů konstrukce důkazů a logických principů, doplněný různými matematickými příklady.

⬤ Přehledně vysvětluje základy konstrukce matematických důkazů
⬤ srozumitelný styl psaní
⬤ užitečný pro studenty formálních programů i samostudium
⬤ uvádí různé příklady z různých oblastí matematiky.

Není uvedena žádná univerzální šablona nebo algoritmus pro všechny důkazy.

(na základě 2 hodnocení čtenářů)

Původní název:

Building Proofs: A Practical Guide

Obsah knihy:

Tato kniha seznamuje studenty s uměním a řemeslem psaní důkazů, začíná základy psaní důkazů a logiky a pokračuje hlubšími otázkami a příklady tvorby důkazů v různých částech matematiky, stejně jako zavádí důkazy správnosti pro algoritmy. Tvorba důkazů je zahrnuta pro věty z diskrétní i spojité matematiky, a to v obtížnosti od elementární až po počáteční úroveň absolventů.

Hned nad rámec standardních úvodních kurzů o počtech se teorémy a důkazy stávají ústředním tématem matematiky. Pro studenty je tento důraz často obtížný a nový.

Tato kniha je průvodcem k pochopení a tvorbě důkazů. Vysvětluje standardní "tahy" v matematických důkazech: přímý výpočet, rozšiřující definice, důkaz popřením, důkaz indukcí, stejně jako volbu notace a strategií.