Curso que trabalha a Lógica Aplicada à Computação no contexto do processo de resolução de problemas.