Diszkrét Analízis és Generátorfüggvények

Abstract

A dolgozat célja összegzési módszerek, összegzést tartalmazó összefüggések bizonyítására alkalmas eljárások bemutatása, külön hangsúllyal azokra, amelyek szimbolikus programcsomagok segítségével is alkalmazhatóak.