Popis

Knižka obsahuje úvod do formálnej logiky a prehľad rôznych typov dôkazov používaných v matematike. Je jednoducho a zaujímavo písaná, vysvetľovaná látka je ľahko pochopiteľná. Obsahuje množstvo príkladov, vtipné poznámky a cvičenia, ktoré text vhodne dopĺňajú. Príklady sú volené v rámci elementárnej školskej matematiky, takže je vhodná aj pre stredoškolákov. So záujmom si ju určite prečítajú aj odbornícíi a široká technická verejnosť.

Z obsahu: Collegium logicum, Axiomatická metoda, Důkazy, Některé typické mtematické důkazy, Indukce jako příklad charakteristického způsobu usuzování v matematických disciplínach, Výhledy, Řešení.