Curso de Lógica Aplicada à Ciência da Computação