Minicurso: “INTRODUÇÃO À LÓGICA DE PROGRAMAÇÃO”