Předmět Geometrický seminář (v angl. jazyce) (KMA / GES)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KMA / GES - Geometrický seminář (v angl. jazyce), Pedagogická fakulta, Jihočeská univerzita v Českých Budějovicích (JU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
Automatické dokazování vět,eliminace proměnných v systému algebraických rovnic pomocí Grőbnerovy báze ideálu.Důkazy matematických vět (např. Simson-Wallaceova věta, Heronův vzorec, Brahmaguptova formule pro tětivový čtyřúhelník, Cevova a Menelaova věta, věty o příčkách v mnohoúhelnících aj.).Odvozování matematických tvrzení,Objevování matematických tvrzeníPorovnání s klasickou metodou důkazů.Přednosti a nedostatky obou metod.
Získané způsobilosti
schopnost dokazování základních geometrických vět pomocí teorie automatického dokazování vět, užití v praktických příkladech
Literatura
Pech, P.:. Ideals, Varieties and Algorithms. Springer Verlag, 1979. Pech, P.:. Klasické versus počítačové metody při řešení úloh z geometrie. PF JU v Č. Budějovicích, 2005. New Jersey London Singapore, 2007.
Požadavky
Automatické dokazování vět, eliminace proměnných v systému algebraických rovnic pomocí Grőbnerovy báze ideálu. Důkazy matematických vět (např. Simson-Wallaceova věta, Heronův vzorec, Brahmaguptova formule pro tětivový čtyřúhelník, Cevova a Menelaova věta, věty o příčkách v mnohoúhelnících aj.). Odvozování a objevování tvrzení, Porovnání s klasickou metodou důkazů. Přednosti a nedostatky obou metod.
Garant
prof. RNDr. Pavel Pech, CSc.