Verifikace a dokazování geometrických vět s podporou počítače – Bc. Pavel CUKR
Bc. Pavel CUKR
Diplomová práce
Verifikace a dokazování geometrických vět s podporou počítače
Computer aided verification and proving geometric theorems
Anotace:
Cílem diplomové práce Verifikace a dokazování geometrických vět s podporou počítače je ověření a dokazování vybraných geometrických vět a tvrzení pomocí programů GeoGebra a CoCoA. Každý problém je nejprve demonstrován v programu GeoGebra, poté následuje ověření (verifikace) problému v tomtéž programu. Dále je uveden klasickýdůkaz a důkaz, případně určení rovnice křivky, pomocí matematického programu …víceAbstract:
The aim of this diploma thesis Computer aided verification and proving of geometric theorems is verification and proving of selected geometric theorems and statements using dynamic geometry software (GeoGebra) and computer algebra programs (CoCoA). Each problem is first demonstrated and verified in the GeoGebra program. Then classical proof and computer aided proof, or determination of the equation …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 24. 6. 2016
Obhajoba závěrečné práce
- Vedoucí: prof. RNDr. Pavel Pech, CSc.
Citační záznam
Jak správně citovat práci
CUKR, Pavel. Verifikace a dokazování geometrických vět s podporou počítače. Č. Budějovice, 2016. diplomová práce (Mgr.). JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH. Pedagogická fakulta
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH, Pedagogická fakultaJIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH
Pedagogická fakultaMagisterský studijní program / obor:
Učitelství pro základní školy / Mn-TchVn
Práce na příbuzné téma
- Žádné práce na příbuzné téma.
Název
Vložil
Vloženo
Práva