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íce
Abstract:
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á fakulta

JIHOČESKÁ UNIVERZITA V ČESKÝCH BUDĚJOVICÍCH

Pedagogická fakulta

Magisterský 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
Theses thowoc thowoc/2
30. 6. 2016
Složky
Soubory
Bulánová, L.
1. 7. 2016
  • Co je jinak přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.
  • Co je jinak další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.
  • Co je jinak pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.
  • Co je nové vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.
  • Co je nové rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.
  • Co se chystá

    Připravujeme další vylepšení pro mobilní zařízení.