Renata,

Segue o plano de curso de uma disciplina proposta para a
pos-graduacao, podendo ser ministrada por mim a partir de
do primeiro semestre de 2006, caso seja de interesse do
Colegiado.

Eu sei que, por se tratar de uma disciplina basica e
nao estar atrelada a nenhuma area de pesquisa, a 
proposta e' absolutamente nao ortodoxa, e que, por isto,
corre um risco consideravel de nao ser aprovada pelo
Colegiado de Pos-graduacao.  Mesmo assim faco a
proposta, amparado na seguinte justificativa:


Devido `a
minha convivencia com os alunos de doutorado
na disciplina de Teoria de Linguagens, tenho notado que 
a maior parte deles (nao menos de 80%) e' bastante deficiente
quanto ao assunto tratado na disciplina que esta' sendo
proposta: demonstracao de teoremas. Por um lado, fico
pasmo que consigam fazer trabalhos em nivel de doutorado
com tal deficiencia (mas, o fato e' que varios deles parecem
conseguir). Por outro, creio que poderiam fazer trabalhos
de maior nivel do que fazem atualmente, e tambem
que teriam maior facilidade para entender trabalhos de maior
nivel, principalmente tendo em conta que a "matematizacao",
acompanhada das demonstracoes de teoremas, e' normalmente
inevitavel em qualquer area que venha a adquirir uma certa
maturidade.

A demonstracao de teoremas nao e' vista na graduacao com
a profundidade desejavel (para o futuro aluno de pos-graduacao).
O que se ve em Matematica Discreta e' insuficiente e, alem disso,
em outras disciplinas da graduacao em ciencia da computacao ou de
cursos afins, nao ha' o costume de cobrar que os alunos
pratiquem demonstracoes de teoremas. Como comecar a exigir
essa pratica quando eles chegam `a pos-graduacao?
Gostaria de ressaltar que nao vejo como incorreta a
atitude de nao cobrar demonstracoes de teoremas na graduacao.
Poderia ser interessante propor uma disciplina optativa, nos moldes
desta, para a graduacao tambem; mas, desconfio, ela correria
o risco de nao atrair alunos... e tambem de ter uma alta
taxa de evasao...

A presente proposta nao teria saido do papel se nao tivesse
sido sugerida por alguns alunos de doutorado. Apesar do assunto
ser essencial, creio que grande parte deles nao tem consciencia
disso, e que nao terao interesse de fazer a disciplina. Mas
se uma meia duzia se interessar, ja' valera' a pena!

