Subject: Re: Uma consulta.
From: "Rodrigo Geraldo Ribeiro" <[email-masked]>
To: Newton José Vieira <[email-masked]>
Date: Fri, 4 Sep 2009 18:11:32 -0300

Newton,

Primeiramente, vou responder suas perguntas:

> 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
>
> 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
>
> Quaisquer comentários/críticas serão muito bem vindos! E me desculpem
> pelo tempo tomado.
>

Minha opinião sobre a disciplina de demonstração de teoremas é que esta é
extramente útil. Para mim foi fundamental cursá-la pois, em meu doutorado,
tenho que lidar frequentemente com demostrações indutivas sobre sistemas
de tipos, usando assistentes de prova como Isabelle e Coq. Posso afirmar
com certeza, que a disciplina melhorou muito minha habilidade em
compreender e elaborar demonstrações. Acredito que tenho muito que
aprender sobre prova de teoremas, mas grande parte da habilidade que tenho
hoje foi obtida por meio desta disciplina.

Espero que meu comentários sejam úteis.

Abraços,

Rodrigo