Verifikace a dokazování geometrických vět s podporou počítače – Bc. Pavel CUKR
Bc. Pavel CUKR
Master's thesis
Verifikace a dokazování geometrických vět s podporou počítače
Computer aided verification and proving geometric theorems
Abstract:
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 …moreAbstract:
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 …more
Language used: Czech
Date on which the thesis was submitted / produced: 24. 6. 2016
Thesis defence
- Supervisor: prof. RNDr. Pavel Pech, CSc.
Citation record
ISO 690-compliant citation record:
CUKR, Pavel. \textit{Verifikace a dokazování geometrických vět s podporou počítače}. Online. Master's thesis. České Budějovice: University of South Bohemia in České Budějovice, Faculty of Education. 2016. Available from: https://theses.cz/id/thowoc/.
The right form of listing the thesis as a source quoted
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
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH, Pedagogická fakultaUNIVERSITY OF SOUTH BOHEMIA IN ČESKÉ BUDĚJOVICE
Faculty of EducationMaster programme / field:
Primary school teaching / Mn-TchVn-SZn
Theses on a related topic
- No theses on a related topic available.
Name
Posted by
Uploaded/Created
Rights