Codigos do curso de logica