Stavebné dôkazy: Praktická príručka

Recenzie čitateľov

Knihu odporúčame študentom matematiky pre jej prehľadné vysvetlenie základov konštrukcie dôkazu a logických princípov, doplnené rôznymi matematickými príkladmi.

⬤ Jasne vysvetľuje základy konštrukcie matematických dôkazov
⬤ zrozumiteľný štýl písania
⬤ užitočný pre študentov formálnych programov a samoštúdium
⬤ uvádza rôzne príklady z rôznych oblastí matematiky.

Neposkytuje žiadnu univerzálnu šablónu alebo algoritmus pre všetky dôkazy.

(na základe 2 čitateľských recenzií)

Pôvodný názov:

Building Proofs: A Practical Guide

Obsah knihy:

Táto kniha oboznamuje študentov s umením a remeslom písania dôkazov, pričom začína základmi písania dôkazov a logiky a pokračuje hlbšími otázkami a príkladmi tvorby dôkazov v rôznych častiach matematiky, ako aj predstavením dôkazov správnosti pre algoritmy. Tvorba dôkazov je zahrnutá pre tvrdenia v diskrétnej aj spojitej matematike a v náročnosti od základnej až po začiatok vysokoškolského štúdia.

Práve nad rámec štandardných úvodných kurzov o počítaní sa teorémy a dôkazy stávajú ústrednou témou matematiky. Študenti často považujú tento dôraz za náročný a nový.

Táto kniha je sprievodcom na pochopenie a tvorbu dôkazov. Vysvetľuje štandardné "ťahy" v matematických dôkazoch: priamy výpočet, rozšírenie definícií, dôkaz popretím, dôkaz indukciou, ako aj výber notácie a stratégií.