Matematické důkazy

Pavla Pražáková

Diplomová práce

Mathematical proofs

Anotace:

Práce pojednává o různých typech matematických důkazů. Obsahuje výrokový počet a s ním spojený predikátový počet, dále se zabývá matematickou definicí, matematickou větou, matematickými důkazy na ZŠ, SŠ a je zakončena pohledem do historie důkazů. Kromě základních typů důkazů, jako je např. důkaz přímý, sporem, obsahuje také důkazy existenční, důkazy jednoznačnosti, či důkaz pomocí Dirichletova principu.

Abstract:

This thesis deals with different types of mathematic proofs. It contents propositional calculus and predicate calculus connected with it. It deals with mathematic definition, mathematic law, mathematic proof at basic school, secondary school and it is closed with view to the proof history. Out of basic proof types, such as direct proof, reduction ad proof, it contents existentional proofs, definiteness proof of proof with help of Dirichlet principle.

Klíčová slova

počet výrokový, počet predikátový, důkaz matematický, definice matematická, věta matematická

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 4. 8. 2009

Obhajoba závěrečné práce

• Obhajoba proběhla 27. 8. 2009
• Vedoucí: Jitka Kühnová
• Oponent: Pavel Trojovský

Univerzita Hradec Králové

UHK, Pedagogická fakulta

Magisterský studijní program / obor:
Učitelství pro základní školy / Učitelství pro 2. stupeň ZŠ - matematika, Učitelství pro 2. stupeň ZŠ - občanská nauka