MCS 320: Introduction to Symbolic Computation