Pavla Pražáková
Master's thesis
Matematické důkazy
Mathematical proofs
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 4. 8. 2009
Identifikátor:
http://evskp.uhk.cz/eM35
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 8. 2009
- Vedúci: Jitka Kühnová
- Oponent: Pavel Trojovský
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- nikomu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Univerzita Hradec Králové. ArchivUniverzita Hradec Králové
UHK, Pedagogická fakultaMaster programme / odbor:
Učitelství pro základní školy / Učitelství pro 2. stupeň ZŠ - matematika, Učitelství pro 2. stupeň ZŠ - občanská nauka
Práce na příbuzné téma
-
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