logo

7. Modelos de raciocínio, planejamento e verificação