This course will serve as a basic introduction to the mathematical theory of general relativity. We will cover topics including the formalism of Lorentzian geometry, the formulation of the initial value problem for the Einstein equations and applications on the global structure of the spacetime.