Parte prática da disciplina de inferência