Subject: Re: Uma consulta.
From: Leonardo Rocha <[email-masked]>
To: Newton José Vieira <[email-masked]>
Cc: Rodrigo Geraldo Ribeiro <[email-masked]>, Isabel Gomes Barbosa <[email-masked]>, Renato Vimieiro <[email-masked]>
Date: Fri, 4 Sep 2009 20:13:18 -0300

Segue minha resposta!!

Não só acho uma ótima idéia como optativa, como
gostaria muito de ver como obrigatória para os
alunos de doutorado!!!

Leo

1. A sua habilidade em demonstrar teoremas logo *depois do curso*, com
relação a *antes*:
( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; (X) melhorou
muito

2. A sua habilidade em  demonstrar teoremas *hoje*, com relação a *antes*:
( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; (X) melhorou
muito

3. Durante o resto do seu curso (de doutorado e/ou mestrado), a habilidade
de demonstrar foi requerida:
( ) nunca; (X) pouco; ( ) muito
ps* foi pouco requerida durante o doutorado, mas na continuidade do trabalho
está util demais!!

4. Em suas atividades atuais, a habilidade de demonstrar é requerida:
( ) nunca; ( ) pouco; (X) muito

5. A sua habilidade em entender demonstrações logo *depois do curso*, com
relação a *antes*:
( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; (X) melhorou
muito

6. A sua habilidade em  entender demonstrações *hoje*, com relação a
*antes*:
( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; (X) melhorou
muito

7. Em suas atividades atuais, entender demonstrações é requerido:
( ) nunca; ( ) pouco; (X) muito

Como disse Newton, não tenho nenhum motivo para "puxar sardinha", eu
realmente gostei muito do curso, aprendi muitissimo e acho que um doutor
em Ciência da Computação deve saber sim demonstração de teoremas!

Se precisar de alguma ajuda, pode contar comigo!!

Leo
2009/9/4 Newton José Vieira <[email-masked]>

> Leo, Rodrigo, Isabel e Renato,
>
> Antes de mais nada, um grande abraço!
>
> Tenho estado envolvido nos exames de qualificação do doutorado desde a
> criação do doutorado, mas principalmente agora que eles acontecem todo
> semestre. Nas últimas provas temos formulado questões que envolvem
> demonstrações triviais e a maioria esmagadora dos alunos (mesmo os que
> passam no exame) não consegue resolver. Isto é, se a questão, direta ou
> indiretamente, pede o uso de alguma demonstração, mesmo que ridiculamente
> simples, quase nenhum aluno é capaz de fazê-la.
>
> Dado este estado de coisas, estou pensando em propor o curso Demonstração
> de Teoremas na pós-graduação para o próximo semestre, aquele mesmo que vocês
> fizeram em 2006. O propósito desta é pedir a colaboração de vocês para ver
> se consigo ter uma noção da *real utilidade* de um curso desses. Qualquer
> retorno que me puderem dar, mesmo dizer que o curso é inútil, eu agradeço
> muitíssimo! Para facilitar, se vocês puderem responder ao questionário a
> seguir já terão ajudado muito.
>
> Agradecido,
>
> Newton.
>
> Quaisquer comentários/críticas serão muito bem vindos! E me desculpem pelo
> tempo tomado.
>