Aprendizado supervisionado: formalização e mecânica — Fundações: IA, ML e aprendizado supervisionado — Atlas