Prof. João Marcos,
Obrigado pelas recomendações. Bom, felizmente já conheço o prof. Luis
Menasché Schechter e o prof. Mário Benevides, já fiz algumas disciplinas
com os dois e elas estão dentre as que eu mais gostei de ter cursado na
faculdade. A possibilidade de se estudar lógica seriamente na UFRJ existe
mas se você pergunta lá no instituto de matemática(na pura ou na aplicada)
sobre alguém que faça algo de lógica ninguém te dá nenhuma direção e ainda
por cima deixam a entender que lógica é coisa que não se faz por aquelas
bandas. Eu descobri sobre lógica na UFRJ esbarrando com ela no meu semi
random walk pela ilha do fundão, na internet, etc. Não falta pessoal, o que
falta, acredito eu, é uma integração maior...isso é algo a ser visto.
Bom, mas vamos deixar isso de lado. O objetivo principal do meu e-mail
anterior era só divulgar que o departamento de matemática aplicada(e/ou
pura) pode vir a ser útil no projeto do prof. Dória. É só um recurso a mais
que ele pode usar.
Grato pela atenção,
Carlos C. Lechner
Em 5 de junho de 2012 22:39, Joao Marcos <botoc...@gmail.com> escreveu:
> Olá, Carlos, no DCC do Instituto de Matemática da UFRJ você pode
> procurar o Luis Menasché Schechter, especialista em lógica modal e em
> grafos, ex-orientando do Mário Benevides (COPPE). Salvo engano de
> minha parte, neste semestre ele está dando aulas sobre "números
> inteiros e criptografia" e sobre "linguagens formais".
>
> Através do "logic-in-rio" certamente você poderá se informar mais
> sobre o movimento lógico por estas bandas.
> JM
>
>
> 2012/6/5 Carlos Coelho Lechner <carloslech...@poli.ufrj.br>:
> > 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
> > <famado...@gmail.com>escreveu:
> >
> >> Me pediram e estou ajudando.
> >>
> >> 2012/6/5 Walter Carnielli <walter.carnie...@gmail.com>
> >>
> >> > 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 <famado...@gmail.com
> >
> >> > escreveu:
> >> >
> >> > > Obrigado. Vou postando aqui os resultados, pra ter feedback de vcs.
> >> > Grato.
> >> > >
> >> > > 2012/6/5 Rodrigo Freire <freires...@gmail.com>
> >> > >
> >> > >> Parabéns pela iniciativa, que é importante.
> >> > >>
> >> > >> Abraço
> >> > >> Rodrigo
> >> > >>
> >> > >>
> >> > >>
> >> > >>
> >> > >>
> >> > >> 2012/6/5 Francisco Antonio Doria <famado...@gmail.com>
> >> > >>
> >> > >>> 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 <deciokra...@gmail.com>
> >> > >>>
> >> > >>>> 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 <
> >> famado...@gmail.com
> >> > >
> >> > >>>> 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
> >> > >>>> Logica-l@dimap.ufrn.br
> >> > >>>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >> > >>>>
> >> > >>>>
> >> > >>>
> >> > >>>
> >> > >>> --
> >> > >>> fad
> >> > >>>
> >> > >>> ahhata alati, awienta Wilushati
> >> > >>> _______________________________________________
> >> > >>> Logica-l mailing list
> >> > >>> Logica-l@dimap.ufrn.br
> >> > >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >> > >>>
> >> > >>
> >> > >>
> >> > >
> >> > >
> >> > > --
> >> > > fad
> >> > >
> >> > > ahhata alati, awienta Wilushati
> >> > > _______________________________________________
> >> > > Logica-l mailing list
> >> > > Logica-l@dimap.ufrn.br
> >> > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >> >
> >>
> >>
> >>
> >> --
> >> fad
> >>
> >> ahhata alati, awienta Wilushati
> >> _______________________________________________
> >> Logica-l mailing list
> >> Logica-l@dimap.ufrn.br
> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>
> > _______________________________________________
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
