Prof. Dória,
Antes de qualquer coisa parabéns pela iniciativa. Segue abaixo um
feedback da minha parte:
Como aluno da UFRJ eu tenho que reconhecer que temos um problema grave
de interação entre os departamentos. De fato o departamento de matemática
da UFRJ em si ao que me parece não tem ninguém que trabalha com
lógica(aliás se houver seria proveitoso a todos que essa entidade
misteriosa se revelasse por lá). Essa área, por algum motivo provavelmente
muito burocrático que me é obscuro, se encontra apenas no departamento de
engenharia de produção e na ciência da computação e também não sei se esses
dois grupos de lógica comunicam-se bem entre si(pelo que tenho visto
acredito que não). Os alunos da matemática, por exemplo, não tem a menor
ideia de que tem gente que trabalha com lógica na UFRJ. Eu mesmo não
saberia se não fosse por este grupo de e-mails! Consequentemente nenhum dos
meus colegas (que estão fazendo o curso do prof. Andrey) também.
Tome, por exemplo, essa situação desses alunos da engenharia que estão
interessados em matemática. Seria, na minha humilde opinião, muito
proveitoso se eles fizessem em paralelo o curso de análise 1 do
departamento de matemática aplicada. O curso é extremamente didático e bem
estruturado(pelo menos quando eu fiz era e que eu saiba o professor nunca
muda). Costuma ser dado no 2º semestre. É um curso muito "mais concreto"
para alunos da engenharia e me parece a porta de entrada mais natural para
eles irem se acostumando com matemática mais formal. Acho que um curso de
álgebra 2(grupos, aneis, teoremas do isomorfismo dessas coisas, etc) seria
necessário também. Eu digo por experiência própria que esse curso é bem
dado na UFRJ pela prof.ª Luciane Quoos Conte(e, pelo que eu ouço, somente
por ela). Se os alunos forem estudar coisas relacionadas à lógica
matemática que, pelas duas referências que você deu(prof. Andrey e prof.
Chaitin), imagino que seja o caso, seria bom que eles tivessem alguma
destreza com a linguagem algébrica costumeira antes de qualquer coisa.
Qualquer coisa eu estou a disposição. Para saber como o departamento de
matemática aplicada pode colaborar pode-se também entrar em contato com os
professores Marco Cabral e Felipe Acker pois os dois são pessoas muito
solícitas. Isso que você está fazendo é bastante importante, é um projeto
que merece dar certo e tem tudo para isso.
Atenciosamente,
Carlos C. Lechner
Em 5 de junho de 2012 13:58, Francisco Antonio Doria
<[email protected]>escreveu:
> Me pediram e estou ajudando.
>
> 2012/6/5 Walter Carnielli <[email protected]>
>
> > Caros,
> >
> > Temos feito coisa parecida no CLE nos ultimos 20 anos, mas em "slow
> > motion", calma e continuamente, inclusive o Rodrigo Freire ajudou, Em
> > cursos e seminarios
> > Abs
> > Walter
> >
> > --
> > Walter A. Carnielli
> > Enviado via iPhone
> >
> > Em 05/06/2012, às 07:26, Francisco Antonio Doria <[email protected]>
> > escreveu:
> >
> > > Obrigado. Vou postando aqui os resultados, pra ter feedback de vcs.
> > Grato.
> > >
> > > 2012/6/5 Rodrigo Freire <[email protected]>
> > >
> > >> Parabéns pela iniciativa, que é importante.
> > >>
> > >> Abraço
> > >> Rodrigo
> > >>
> > >>
> > >>
> > >>
> > >>
> > >> 2012/6/5 Francisco Antonio Doria <[email protected]>
> > >>
> > >>> Decio e Rodrigo, obrigado.
> > >>>
> > >>> É meio louco, mas, se não fosse, n˜åo topava a parada...
> > >>>
> > >>> Rodrigo, vou seguir tua sugestão; tb gosto do Rudin. Mas vou ensinar
> a
> > >>> turminha a ler livros de matemática. Acho que seria o melhor caminho.
> > >>>
> > >>> Vou postando aqui os resultados; de novo, grato pelas dicas.
> > >>>
> > >>> 2012/6/5 Décio Krause <[email protected]>
> > >>>
> > >>>> Doria
> > >>>> Sua ideia foi excelente, talvez eu ache isso porque eu aja assim com
> > >>>> alguns alunos também (rs). Acho que é por aí.
> > >>>> Só que no meu caso, tenho que dar aulas reforço sobre coisas que
> eles
> > >>>> necessitam e não sabem, às vezes bem básicas (estou na filosofia)
> como
> > >>>> derivadas e integrais.
> > >>>> D
> > >>>> *
> > >>>> *
> > >>>> *------------------------------------------------------*
> > >>>> *Décio Krause*
> > >>>> *Departamento de Filosofia*
> > >>>> *Universidade Federal de Santa Catarina*
> > >>>> *88040-900 Florianópolis - SC - Brasil*
> > >>>> *http://www.cfh.ufsc.br/~dkrause*
> > >>>> *------------------------------------------------------*
> > >>>
> > >>>> "We cannot define anything precisely! If we attempt to, we get into
> > that
> > >>>> paralysis of thought that comes to philosophers, who sit opposite
> each
> > >>>> other, one saying to the other, 'You don't know what you are talking
> > >>>> about!' The second one says 'What do you mean by know? What do you
> > mean
> > >>> by
> > >>>> talking? What do you mean by you?', and so on." (Richard Feynman)
> > >>>>
> > >>>>
> > >>>> Em 05/06/2012, às 04:40, Francisco Antonio Doria <
> [email protected]
> > >
> > >>>> escreveu:
> > >>>>
> > >>>> Há umas semanas o Samuel Jurkiewicz, coordenador do programa de
> > >>> engenharia
> > >>>> de produção, me pediu que orientasse, coordenasse, o que quer que
> > seja,
> > >>> um
> > >>>> grupo de alunos de graduação, todos na faixa dos vinte anos e todos
> > >>>> estudantes de engenharia de produção, que - palavras deles -
> ``queriam
> > >>>> estudar matemática.''
> > >>>>
> > >>>> Resolvi primeiro botar pilha neles: ontem Greg Chaitin e Andrey
> > Bovykin
> > >>>> fizeram pequenas palestras para eles (com agradecimentos a Greg e a
> > >>>> Andrey). E tenho agido da seguinte forma: a cada um dou um problema,
> > >>> nível
> > >>>> tese de mestrado, isto é, problema cuja solução conheço e que sei
> como
> > >>>> atingir, mas problema que pode virar paper. E vou acompanhar o
> estudo
> > >>> deles
> > >>>> guiado pelo problema.
> > >>>>
> > >>>> Alguem tem sugestão a respeito?
> > >>>>
> > >>>> --
> > >>>> fad
> > >>>>
> > >>>> ahhata alati, awienta Wilushati
> > >>>> _______________________________________________
> > >>>> Logica-l mailing list
> > >>>> [email protected]
> > >>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> > >>>>
> > >>>>
> > >>>
> > >>>
> > >>> --
> > >>> fad
> > >>>
> > >>> ahhata alati, awienta Wilushati
> > >>> _______________________________________________
> > >>> Logica-l mailing list
> > >>> [email protected]
> > >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> > >>>
> > >>
> > >>
> > >
> > >
> > > --
> > > fad
> > >
> > > ahhata alati, awienta Wilushati
> > > _______________________________________________
> > > Logica-l mailing list
> > > [email protected]
> > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
>
>
>
> --
> fad
>
> ahhata alati, awienta Wilushati
> _______________________________________________
> Logica-l mailing list
> [email protected]
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
