A couple of years ago, the Notices of the AMS featured an article on noncommutative geometry a la Connes: Quantum Spaces and Their Noncommutative Topology by Joachim Cuntz. The hallmark of this approach is the heavy reliance on K theory. The first few pages of the article are fairly elementary (and full of intriguing pictures), before the K theory takes over.