\documentclass[11pt, a4paper]{report}

\usepackage[portuguese]{babel}
\usepackage{fullpage}
\pagestyle{empty}

\begin{document}

\begin{flushleft}
Ao Colegiado do Programa de P\'os-gradua\c c\~ao em Ci\^encia da Computa\c c\~ao\\
Departamento de Ci\^encia da Computa\c c\~ao \\
Instituto de Ci\^encias Exatas \\
Universidade Federal de Minas Gerais
\end{flushleft}

\vspace*{5mm}
\begin{flushleft}
Belo Horizonte, 31 de outubro de 2005.
\end{flushleft}

\vspace*{2mm}
\begin{flushleft}
Prezados membros do Colegiado do PPGCC,
\end{flushleft}

\vspace*{1mm}
Segue o plano de curso de uma disciplina denominada {\em
Demonstra\c c\~ao de Teoremas\/}, proposta para a p\'os-gradua\c c\~ao
em Ci\^encia da Computa\c c\~ao. Caso o Colegiado a aprove, ela poder\'a ser
ministrada por mim a partir do primeiro semestre de 2006.

Eu sei que, por se tratar de uma disciplina b\'asica e n\~ao estar atrelada
a nenhuma \'area de pesquisa, a  proposta \'e absolutamente n\~ao ortodoxa,
e que, por isso, corre um risco consider\'avel de n\~ao ser aprovada.
Mesmo assim fa\c co a proposta, amparado pelas seguintes justificativas:

\begin{itemize}
 \item Devido \`a minha conviv\^encia com os alunos de doutorado
       na disciplina de Teoria de Linguagens, tenho notado que 
       a maior parte deles (n\~ao menos de 80\%) tem defici\^encias
       graves em duas atividades importantes: reda\c c\~ao
       t\'ecnica com rigor (particularmente, quando o uso de algum
       tipo de ``formalismo'' \'e apropriado) e demonstra\c c\~ao de teoremas.

% Por um lado, fico
%       pasmo que consigam fazer trabalhos em n\'{\i}vel de doutorado
%       com tal defici\^encia (mas, o fato \'e que v\'arios
%       acabam conseguindo). Por outro, creio que, sem tal defici\^encia,
%       poderiam fazer e
%       entender trabalhos de maior n\'{\i}vel do que fazem e entendem
%       atualmente, principalmente tendo em conta que a ``matematiza\c c\~ao'',
%       acompanhada das demonstra\c c\~oes de teoremas, \'e normalmente
%       inevit\'avel em qualquer \'area com certa maturidade.

 \item A demonstra\c c\~ao de teoremas n\~ao \'e vista na gradua\c c\~ao
       com a profundidade desej\'avel (para o futuro aluno de p\'os-gradua\c c\~ao).
       O que se estuda em Matem\'atica Discreta \'e insuficiente e, al\'em disso,
       n\~ao h\'a o costume de cobrar dos alunos que pratiquem demonstra\c c\~oes
       de teoremas em outras disciplinas da gradua\c c\~ao em
       ci\^encia da computa\c c\~ao ou de cursos afins. E quando se pratica, elas
       s\~ao puramente alg\'ebricas ou informais. Como come\c car a exigir
       essa pr\'atica quando os alunos chegam \`a p\'os-gradua\c c\~ao?

%       (Gostaria de ressaltar que n\~ao vejo como incorreta a
%       atitude de n\~ao cobrar demonstra\c c\~oes de teoremas na gradua\c c\~ao.
%       Poderia ser interessante propor uma disciplina optativa, nos moldes
%       desta, para a gradua\c c\~ao tamb\'em; mas, desconfio, ela correria
%       o risco de n\~ao atrair alunos e/ou de ter uma alta taxa de evas\~ao...)

 \item A presente proposta n\~ao estaria sendo agora concretizada se n\~ao
       tivesse sido sugerida por alguns alunos de doutorado ao longo dos
       \'ultimos anos.
%       Apesar do assunto ser de monumental import\^ancia, creio que grande
%       parte dos alunos n\~ao tem consci\^encia disso, e que n\~ao ter\~ao
%       interesse em fazer a disciplina. Mas se uma meia d\'uzia se interessar,
%       j\'a ter\'a valido a pena. Ou n\~ao?
\end{itemize}

Gostaria de adiantar que, mesmo que a proposta n\~ao seja aprovada,
j\'a ter\'a valido a pena chamar a aten\c c\~ao deste Colegiado
para a grave defici\^encia dos alunos de p\'os-gradua\c c\~ao,
em particular de doutorado, com rela\c c\~ao \`as atividades de
reda\c c\~ao t\'ecnica com rigor (sobretudo quando envolve o uso
de formalismos) e prova de teoremas. A tal ponto acho isso grave,
que mais grave ainda acho que seria uma {\em postura\/} de n\~ao
procurar sanar esse mal. Uma disciplina espec\'{\i}fica sobre
demonstra\c c\~ao de teoremas seria, pelo menos, um primeiro passo...

Estou \`a disposi\c c\~ao para quaisquer esclarecimentos.
 
\vspace*{1cm} 
Atenciosamente,

\vspace*{1.5cm}
\noindent\hspace*{7mm}Newton Jos\'e Vieira \\


\end{document}


