Prohlížení Kvalifikační práce dle autora "Cukr, Pavel"

Zobrazují se záznamy 1-2 z 2

    • Verifikace a dokazování geometrických vět s podporou počítače 

      Cukr, Pavel (Jihočeská univerzita, 2016)
      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 ...

    • Verifikace v systémech dynamické geometrie 

      Cukr, Pavel (Jihočeská univerzita, 2014)
      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 ...