| dc.contributor.advisor | Pech, Pavel | |
| dc.contributor.author | Cukr, Pavel | |
| dc.date.accessioned | 2021-12-08T10:13:40Z | |
| dc.date.available | 2021-12-08T10:13:40Z | |
| dc.date.issued | 2016 | |
| dc.date.submitted | 2016-06-24 | |
| dc.identifier.uri | https://dspace.jcu.cz/handle/20.500.14390/32926 | |
| dc.description.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 CoCoA. Využití programu dynamické geometrie současně s programem počítačové algebry je vhodné jako učební pomůcka v hodinách matematiky na základních a středních školách. | cze |
| dc.format | 56 | |
| dc.format | 56 | |
| dc.language.iso | cze | |
| dc.publisher | Jihočeská univerzita | cze |
| dc.rights | Bez omezení | |
| dc.subject | dokazování s podporou počítače | cze |
| dc.subject | verifikace | cze |
| dc.subject | computer aided proving | eng |
| dc.subject | verifiction | eng |
| dc.title | Verifikace a dokazování geometrických vět s podporou počítače | cze |
| dc.title.alternative | Computer aided verification and proving of geometric theorems | eng |
| dc.type | diplomová práce | cze |
| dc.identifier.stag | 40800 | |
| dc.description.abstract-translated | 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 of a curve, using the program CoCoA follow. The use of dynamic geometry software and computer algebra programs is suitable as a teaching tool in maths lessons at primary and secondary schools. | eng |
| dc.date.accepted | 2016-08-26 | |
| dc.description.department | Pedagogická fakulta | cze |
| dc.thesis.degree-discipline | Mn-TchVn | cze |
| dc.thesis.degree-grantor | Jihočeská univerzita. Pedagogická fakulta | cze |
| dc.thesis.degree-name | Mgr. | |
| dc.thesis.degree-program | Učitelství pro základní školy | cze |
| dc.description.grade | Dokončená práce s úspěšnou obhajobou | cze |
| dc.contributor.referee | Hašek, Roman | |
