Introduction to Non-Commutative Geometry