Celem wykładu jest przystępne przedstawienie pewnych algorytmów symbolicznych stosowanych w takich systemach algebry komputerowej jak Maple czy Mathematica. Swoją uwagę skupimy głównie na metodach związanych z tzw. sumowaniem symbolicznym i symbolicznym dowodzeniem tożsamości. Przekazana wiedza może być szczególnie przydatna osobom interesującym się m.in. algorytmiką, matematyką dyskretną czy kombinatoryką. Wszystko zacznie się od krótkiego kursu Maple'a, który będzie podstawowym narzędziem tego wykładu.
Szczegóły: patrz dokładniejszy opis przedmiotu.
- Nauczyciel: Paweł Woźny