Qual é o principal objetivo da formação docente em informática educativa?