Students transition from intuitive pattern recognition to formal mathematical notation. They compare recursive definitions, which depend on previous terms, with explicit definitions, which depend on term position, and evaluate the utility of each in calculus contexts.