This graduate-level, course-based text is devoted to the 3+1 formalism of general relativity, which also constitutes the theoretical foundations of numerical relativity. The book starts by establishing the mathematical background (differential geometry, hypersurfaces embedded in space-time, foliation of space-time by a family of space-like hypersurfaces), and then turns to the 3+1 decomposition of the Einstein equations, giving rise to the Cauchy problem with constraints, which constitutes the core of 3+1 formalism. The ADM Hamiltonian formulation of general relativity is also introduced at...