Pavla Pražáková
Master's thesis
Matematické důkazy
Mathematical proofs
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 4. 8. 2009
Identifier:
http://evskp.uhk.cz/eM35
Thesis defence
- Date of defence: 27. 8. 2009
- Supervisor: Jitka Kühnová
- Reader: Pavel Trojovský
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- no one
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Univerzita Hradec Králové. ArchivUniverzita Hradec Králové
UHK, Pedagogická fakultaMaster programme / field:
Učitelství pro základní školy / Učitelství pro 2. stupeň ZŠ - matematika, Učitelství pro 2. stupeň ZŠ - občanská nauka
Theses on a related topic
-
Rozhodnutelné podtřídy formulí predikátového počtu 1. řádu
Radim Vašíček -
Matematická analýza ve fyzikální chemii
Eva Mikušková -
Výroková část správního rozhodnutí
Veronika Schusterová -
Klasická výroková logika
Jakub HRBEK -
Nástroj pro dokazování platnosti úsudku ve výrokové logice
Daniel Dobeš -
Gradované úlohy k tématu množiny a výroková logika
Dita VANDUCHOVÁ -
Aplikace pro výuku výrokové logiky
Vojtěch Dvořák -
Automatizovaná dedukce ve výrokové logice
Lukáš BURYAN