The first class that touched upon the formal theory of limits for me was called 'Analysis'. The calculus courses I took before that were informal and leaned mostly on intuition and algebra.