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