An introduction to noncommutative geometry

A review is made of some recent results in noncommutative geometry, including its use as a regularization procedure. Efforts to add a gravitational field to noncommutative models of space-time are also reviewed. Special emphasis is placed on the case which could be considered as the noncommutative analogue of a parallelizable space-time.