Subject: Re: Uma consulta.
From: Renato Vimieiro <[email-masked]>
To: Newton José Vieira <[email-masked]>
Date: Sat, 5 Sep 2009 12:26:41 +1000

Ola Newton,
concordo com o Leo. A disciplina de Demonstracao de Teoremas foi uma das
mais interessantes e importantes que fiz no mestrado. Nao so pelo fato de
cobrir uma deficiencia que tinha por nao "saber" demonstrar teoremas, mas
tambem pelo fato de me ajudar a estruturar meu pensamento para resolver um
problema. Sem contar o livro que e' otimo.

Eu sinto que essa deficiencia em saber demonstrar teoremas e' comum tanto
para alunos de mestrado quanto para os de doutorado. Acredito que isso e'
uma falha dos cursos de graduacao em computacao que sobre-valorizam
"matematica continua" em detrimento de "matematica discreta". Nao consigo
entender o porque de 3 cursos de Calculo e apenas 1 de Matematica Discreta.
Isso faz com que, de uma forma geral, nao valorizemos o curso de Matematica
Discreta e, assim, nao obtemos a base necessaria para fazer demonstracoes.
Nesse caso, a disciplina tambem serve, ou pelo menos serviu para mim, para
preencher essa lacuna.

Enfim, acho a ideia otima. Apesar de achar que e' apenas um paliativo. Penso
que a discussao deve ser voltada para reestruturacao dos curriculos de
graduacao em computacao. Mas, como sei que essa discussao e' infindavel.
Acredito que a disciplina deveria ser ofertada semestralmente.

Um abraco,

Renato.

PS: Mudando completamente de assunto. Estou trabalhando com a descoberta de
funcoes/expressoes booleanas em bases de dados. Voce conhece ou ja viu
alguma referencia relacionada a isso?

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

2009/9/5 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.
>
> 1. A sua habilidade em demonstrar teoremas logo *depois do curso*, com
> relação a *antes*:
> ( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; ( ) melhorou
> muito
>
> 2. A sua habilidade em  demonstrar teoremas *hoje*, com relação a *antes*:
> ( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; ( ) melhorou
> muito
>
> 3. Durante o resto do seu curso (de doutorado e/ou mestrado), a habilidade
> de demonstrar foi requerida:
> ( ) nunca; ( ) pouco; ( ) muito
>
> 4. Em suas atividades atuais, a habilidade de demonstrar é requerida:
> ( ) nunca; ( ) pouco; ( ) 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; ( ) melhorou
> muito
>
> 6. A sua habilidade em  entender demonstrações *hoje*, com relação a
> *antes*:
> ( ) diminuiu; ( ) ficou na mesma; ( ) ficou um pouco melhor; ( ) melhorou
> muito
>
> 7. Em suas atividades atuais, entender demonstrações é requerido:
> ( ) nunca; ( ) pouco; ( ) muito
>
> Quaisquer comentários/críticas serão muito bem vindos! E me desculpem pelo
> tempo tomado.
>