O kolegiju "Simboličko programiranje"
Simboličko programiranje je postalo moguće razvojem modernih
sustava za računalnu algebru (Axiom, Form, Macsyma, Maple, Mathematica,
MuPAD, Maxima, Reduce, ...) koji su se u međuvremenu nametnuli kao
neizostavan alat fizičara, matematičara i mnogih drugih.
Za ovaj kolegij Mathematica (TM) (komercijalni proizvod
tvrtke Wolfram Research Inc.) je odabrana zbog svoje rasprostranjenosti,
postojanja licence na Sveučilištu, te relativno
pristupačne studentske verzije programa. Svejedno, većinu
sadržanog gradiva moguće je obraditi i na drugim sustavima za
računalnu algebru. Za detaljnu usporedbu mogućnosti raznih sustava
dobro je konzultirati rad Simon and Wester, A Critique of the Mathematical Abilities of CA Systems.
Mislim da nema puno smisla u jednom ovakvom kursu predstavljati sve
raspoložive matematičke funkcije koje Mathematica sadrži jer
sadrži naprosto sve ono što student susreće i sve je
zadovoljavajuće dokumentirano. Tako sam se, naročito u kasnijim
poglavljima, usredotočio na razlike i prednosti koje rad s ovakvim
sustavom pruža u odnosu na klasično programiranje u standardnim
računalnim jezicima.
|
![[gradient]](/~kkumer/images/grad.jpg){kind=small}