Hlavní stránka > Výsledky hledání: CUKR, Pavel
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Verifikace a dokazování geometrických vět s podporou počítače
 CUKR, Pavel
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.
Úplný záznam
Verifikace v systémech dynamické geometrie
 CUKR, Pavel
Cílem bakalářské práce Verifikace v systémech dynamické geometrie je ověřování několika vybraných problémů z planimetrie pomocí programu GeoGebra. U každého problému je popsán klasický důkaz, konstrukce a verifikace v programu GeoGebra. Následnévyužití programu je vhodné jako učební pomůcka v hodinách matematiky na základních, potažmo na středních školách.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English