Formação do Conceito de Função a Partir da Lógica Matemática Fundamentada na Teoria de Formação por Etapas da Ações Mentais de Galperin nos Estudantes do 1º Ano do Ensino Médio. Documento