Lisp, reprezentace základních objektů (celá, racionální a algebraická čísla, polynomy, racionální lomené funkce, odmocniny, algebraické funkce), aritmetika, zjednodušování, největší společný dělitel, resultant, derivování, sčítání řad, integrování, obyčejné diferenciální rovnice, faktorizace, řešení rovnic, eliminace kvantifikátorů, substituce a vyhledávání vzorů, algebraické programování, grafika, Maple - podrobnější seznámení a řešení praktických úloh, aplikace, přehled dalších systémů (Axiom, Macsyma, Mathematica), miniprojekt.
Počítačová algebra
Kód: | POAL |
Www: | http://www-troja.fjfi.cvut.cz/~liska/poalg |
Hodiny: |
|
Osnova přednášek:
- Základní charakteristika počítačové algebry.
- Algebraické struktury a jejich reprezentace.
- Aritmetika a zjednodušování.
- Největší společný dělitel, resultant.
- Sčítání řad, integrace.
- Faktorizace, eliminace kvantifikátorů.
- Integrované výpočetní systémy.
Osnova cvičení:
- Maple, základy.
- Maple, datové struktury a zjednodušování.
- Maple, kalkulus a substituce.
- Maple, programování.
- Maple, jednoduché úlohy.
- Maple, složitější úlohy.
- Miniprojekt.
Povinná literatura:
- R. Liska etal. Počítačová Algebra, Algoritmy, Systémy a Aplikace. http://www-troja.fjfi.cvut.cz/~liska/poalg
Doporučená literatura:
- K.O. Geddes, S.R. Czapor and G. Labahn: Algorithms For Computer Algebra. Kluwer Academic Publishers, Boston, 1992.
- F. Wright: Computing with Maple, Chapman and Hall/CRC, Boca Raton, 2002.
Studijní pomůcky:
Počítačová učebna Unix s integrovaným matematickým systéme Maple.