Four main topics are covered: Gr<:;o>bner bases, characteristic sets, resultants and semialgebraic sets. The text is written for theoretical computer science students who would like to do research or understand the algorithmic underpinning of various commercial symbolic computations systems such as Mathematica, Maple, or Axiom. The book is self-contained, and focuses on very basic material. Problems with selected solutions are included.