A Computational Introduction to the Theory of D-Modules