Předmět Automatické dokazování vět (KMA / XADV)
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 / XADV - Automatické dokazování vět, 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
Práce v DGS, verifikace v DGS, klasický důkaz, příklady.Základy automatického dokazování vět, dokazování, odvozování, objevování nových tvrzení.Podmínky degenerace a jejich hledání, příklady.
Získané způsobilosti
Absolvent získá dovednosti pro provádění automatické dokazování vybraných vět.
Literatura
COX, D., LITTLE, J., O´SHEA, D. Ideals, Varieties and Algorithms. Springer Verlag, 1979. PECH, P. Klasické versus počítačové metody při řešení úloh z geometrie. Č. Budějovice: JU, PF, 2005. PECH, P. Selected topics in geometry with classical vs. computer proving. New Jersey London Singapore: World Scientific Publishing, 2007.
Požadavky
Vypracování seminární práce, která se bude zabývat řešením problému, jehož výběr bude s přednášejícím konzultován. Po uvedení problému a demonstraci pomocí počítačového software bude provedena jeho verifikace v DGS, poté bude problém dokázán klasickou metodou. Hlavní částí práce pak bude důkaz problému pomocí teorie automatického dokazování vět. Na závěr budou obě metody důkazu - klasická i počítačová - porovnány.
Garant
prof. RNDr. Pavel Pech, CSc.